(1) CpxTrsMatchBoundsProof (EQUIVALENT transformation)
A linear upper bound on the runtime complexity of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 5.
The certificate found is represented by the following graph.
Start state: 883
Accept states: [884, 885, 886, 887, 888]
Transitions:
883→884[thrice_1|0]
883→885[half_1|0]
883→886[sixtimes_1|0]
883→887[p_1|0]
883→888[0_1|0]
883→883[s_1|0]
883→889[s_1|1]
883→906[s_1|1]
883→922[s_1|1]
883→946[s_1|1]
883→908[s_1|2]
883→948[s_1|2]
883→893[s_1|2]
883→895[sixtimes_1|2]
883→912[half_1|2]
883→952[half_1|2]
883→928[s_1|2]
883→930[sixtimes_1|2]
889→890[s_1|1]
889→892[p_1|2]
890→891[p_1|1]
891→892[p_1|1]
892→893[s_1|1]
892→895[sixtimes_1|2]
893→894[p_1|1]
894→895[sixtimes_1|1]
895→896[s_1|1]
895→898[s_1|2]
895→902[half_1|2]
896→897[p_1|1]
897→898[s_1|1]
897→902[half_1|2]
898→899[s_1|1]
898→901[p_1|2]
899→900[p_1|1]
900→901[p_1|1]
901→902[half_1|1]
902→903[s_1|1]
903→904[s_1|1]
903→884[p_1|2]
904→905[p_1|1]
905→884[p_1|1]
906→907[p_1|1]
907→908[s_1|1]
907→912[half_1|2]
908→909[s_1|1]
908→911[p_1|2]
909→910[p_1|1]
910→911[p_1|1]
911→912[half_1|1]
912→913[s_1|1, s_1|2, s_1|3]
912→917[s_1|2, s_1|3]
912→921[s_1|2, s_1|3]
912→953[s_1|2, s_1|3]
912→957[s_1|2, s_1|3]
913→914[s_1|1]
913→916[p_1|2]
914→915[p_1|1]
915→916[p_1|1]
916→917[s_1|1, s_1|2, s_1|3]
916→921[s_1|2, s_1|3]
916→913[s_1|2, s_1|3]
916→953[s_1|2, s_1|3]
916→957[s_1|2, s_1|3]
917→918[s_1|1]
917→920[p_1|2]
918→919[p_1|1]
919→920[p_1|1]
920→921[s_1|1, s_1|2, s_1|3]
920→913[s_1|2, s_1|3]
920→917[s_1|2, s_1|3]
920→953[s_1|2, s_1|3]
920→957[s_1|2, s_1|3]
921→885[p_1|1]
921→912[p_1|1]
921→952[p_1|1]
922→923[s_1|1]
922→927[p_1|2]
923→924[s_1|1]
923→926[p_1|2]
924→925[p_1|1]
925→926[p_1|1]
926→927[p_1|1]
927→928[s_1|1]
927→930[sixtimes_1|2]
928→929[p_1|1]
929→930[sixtimes_1|1]
930→931[s_1|1]
930→1054[s_1|2]
930→1056[s_1|3]
930→1060[half_1|3]
930→1147[s_1|2]
930→1149[s_1|3]
930→1153[half_1|3]
931→932[s_1|1]
931→938[s_1|2]
931→1069[s_1|2]
931→1084[s_1|3]
931→1100[s_1|2]
931→1071[s_1|3, s_1|2]
931→1086[s_1|4]
931→1102[s_1|2, s_1|3]
931→1075[half_1|3, half_1|2]
931→1090[half_1|4]
931→1106[half_1|2, half_1|3]
932→933[s_1|1]
932→935[s_1|2]
932→937[p_1|2]
933→934[p_1|1]
934→935[s_1|1]
934→937[p_1|2]
935→936[p_1|1]
936→937[p_1|1]
937→938[s_1|1]
937→1069[s_1|2]
937→1100[s_1|2]
937→1071[s_1|3]
937→1102[s_1|3]
937→1075[half_1|3]
937→1106[half_1|3]
938→939[s_1|1]
938→992[s_1|2]
938→994[s_1|3]
938→998[half_1|3]
938→1116[s_1|2]
938→1118[s_1|3]
938→1122[half_1|3]
939→940[s_1|1]
939→1007[s_1|2]
939→1022[s_1|2]
939→1009[s_1|3]
939→1024[s_1|3]
939→1013[half_1|3]
939→1028[half_1|3]
940→941[s_1|1]
940→961[s_1|2]
940→963[s_1|3]
940→967[half_1|3]
940→1038[s_1|2]
940→1040[s_1|3]
940→1044[half_1|3]
941→942[s_1|1]
941→976[s_1|2]
941→978[s_1|3]
941→982[half_1|3]
941→1163[s_1|2]
941→1165[s_1|3]
941→1169[half_1|3]
942→943[s_1|1]
942→896[s_1|2]
942→898[s_1|2]
942→902[half_1|2]
942→931[s_1|2]
942→1132[s_1|3]
942→1054[s_1|2]
942→1134[s_1|4]
942→1056[s_1|2, s_1|3]
942→1138[half_1|4]
942→1060[half_1|2, half_1|3]
942→1178[s_1|3]
942→1147[s_1|2]
942→1180[s_1|4]
942→1149[s_1|2, s_1|3]
942→1184[half_1|4]
942→1153[half_1|2, half_1|3]
943→944[s_1|1]
943→886[p_1|2]
943→895[p_1|2]
943→930[p_1|2]
944→945[p_1|1]
945→886[p_1|1]
945→895[p_1|1]
945→930[p_1|1]
946→947[p_1|1]
947→948[s_1|1]
947→952[half_1|2]
948→949[s_1|1]
948→951[p_1|2]
949→950[p_1|1]
950→951[p_1|1]
951→952[half_1|1]
952→953[s_1|1]
952→957[s_1|2]
953→954[s_1|1]
953→956[p_1|2]
954→955[p_1|1]
955→956[p_1|1]
956→957[s_1|1]
957→958[s_1|1]
957→960[s_1|2]
957→913[s_1|2, s_1|3]
957→917[s_1|2, s_1|3]
957→921[s_1|2, s_1|3]
957→953[s_1|2, s_1|3]
957→957[s_1|2, s_1|3]
958→959[p_1|1]
959→960[s_1|1]
959→913[s_1|2, s_1|3]
959→917[s_1|2, s_1|3]
959→921[s_1|2, s_1|3]
959→953[s_1|2, s_1|3]
959→957[s_1|2, s_1|3]
960→885[p_1|1]
960→912[p_1|1]
960→952[p_1|1]
961→962[p_1|2]
962→963[s_1|2]
962→967[half_1|3]
963→964[s_1|2]
963→966[p_1|3]
964→965[p_1|2]
965→966[p_1|2]
966→967[half_1|2]
967→968[s_1|2]
967→972[s_1|3]
968→969[s_1|2]
968→971[p_1|3]
969→970[p_1|2]
970→971[p_1|2]
971→972[s_1|2]
972→973[s_1|2]
972→975[s_1|3]
972→903[s_1|3, s_1|2, s_1|4, s_1|5]
972→1139[s_1|3, s_1|4, s_1|5]
972→1143[s_1|3, s_1|4, s_1|5]
972→1061[s_1|3, s_1|4, s_1|5]
972→1065[s_1|3, s_1|4, s_1|5]
972→1185[s_1|3, s_1|4, s_1|5]
972→1189[s_1|3, s_1|4, s_1|5]
972→1193[s_1|3, s_1|4, s_1|5]
972→1076[s_1|3, s_1|4, s_1|5]
972→1080[s_1|3, s_1|4, s_1|5]
972→1091[s_1|3, s_1|4, s_1|5]
972→1095[s_1|3, s_1|4, s_1|5]
972→1099[s_1|3, s_1|4, s_1|5]
972→999[s_1|3, s_1|4, s_1|5]
972→1003[s_1|3, s_1|4, s_1|5]
972→1123[s_1|3, s_1|4, s_1|5]
972→1127[s_1|3, s_1|4, s_1|5]
972→1131[s_1|3, s_1|4, s_1|5]
972→1014[s_1|3, s_1|4, s_1|5]
972→1018[s_1|3, s_1|4, s_1|5]
972→1029[s_1|3, s_1|4, s_1|5]
972→1033[s_1|3, s_1|4, s_1|5]
972→1037[s_1|3, s_1|4, s_1|5]
972→968[s_1|3, s_1|4, s_1|5]
972→972[s_1|3, s_1|4, s_1|5]
972→1045[s_1|3, s_1|4, s_1|5]
972→1049[s_1|3, s_1|4, s_1|5]
972→1053[s_1|3, s_1|4, s_1|5]
972→983[s_1|3, s_1|4, s_1|5]
972→987[s_1|3, s_1|4, s_1|5]
972→991[s_1|3, s_1|4, s_1|5]
972→1107[s_1|3, s_1|4, s_1|5]
972→1111[s_1|3, s_1|4, s_1|5]
972→1115[s_1|3, s_1|4, s_1|5]
972→1170[s_1|3, s_1|4, s_1|5]
972→1174[s_1|3, s_1|4, s_1|5]
972→1154[s_1|3, s_1|4, s_1|5]
972→1158[s_1|3, s_1|4, s_1|5]
972→1162[s_1|3, s_1|4, s_1|5]
973→974[p_1|2]
974→975[s_1|2]
974→903[s_1|2, s_1|3, s_1|4, s_1|5]
974→1139[s_1|3, s_1|4, s_1|5]
974→1143[s_1|3, s_1|4, s_1|5]
974→1061[s_1|3, s_1|4, s_1|5]
974→1065[s_1|3, s_1|4, s_1|5]
974→1185[s_1|3, s_1|4, s_1|5]
974→1189[s_1|3, s_1|4, s_1|5]
974→1193[s_1|3, s_1|4, s_1|5]
974→1076[s_1|3, s_1|4, s_1|5]
974→1080[s_1|3, s_1|4, s_1|5]
974→1091[s_1|3, s_1|4, s_1|5]
974→1095[s_1|3, s_1|4, s_1|5]
974→1099[s_1|3, s_1|4, s_1|5]
974→999[s_1|3, s_1|4, s_1|5]
974→1003[s_1|3, s_1|4, s_1|5]
974→1123[s_1|3, s_1|4, s_1|5]
974→1127[s_1|3, s_1|4, s_1|5]
974→1131[s_1|3, s_1|4, s_1|5]
974→1014[s_1|3, s_1|4, s_1|5]
974→1018[s_1|3, s_1|4, s_1|5]
974→1029[s_1|3, s_1|4, s_1|5]
974→1033[s_1|3, s_1|4, s_1|5]
974→1037[s_1|3, s_1|4, s_1|5]
974→968[s_1|3, s_1|4, s_1|5]
974→972[s_1|3, s_1|4, s_1|5]
974→1045[s_1|3, s_1|4, s_1|5]
974→1049[s_1|3, s_1|4, s_1|5]
974→1053[s_1|3, s_1|4, s_1|5]
974→983[s_1|3, s_1|4, s_1|5]
974→987[s_1|3, s_1|4, s_1|5]
974→991[s_1|3, s_1|4, s_1|5]
974→1107[s_1|3, s_1|4, s_1|5]
974→1111[s_1|3, s_1|4, s_1|5]
974→1115[s_1|3, s_1|4, s_1|5]
974→1170[s_1|3, s_1|4, s_1|5]
974→1174[s_1|3, s_1|4, s_1|5]
974→1154[s_1|3, s_1|4, s_1|5]
974→1158[s_1|3, s_1|4, s_1|5]
974→1162[s_1|3, s_1|4, s_1|5]
975→902[p_1|2]
975→1138[p_1|2]
975→1060[p_1|2]
975→1184[p_1|2]
975→1153[p_1|2]
976→977[p_1|2]
977→978[s_1|2]
977→982[half_1|3]
978→979[s_1|2]
978→981[p_1|3]
979→980[p_1|2]
980→981[p_1|2]
981→982[half_1|2]
982→983[s_1|2, s_1|3, s_1|4, s_1|5]
982→987[s_1|3, s_1|4, s_1|5]
982→991[s_1|3, s_1|4, s_1|5]
982→903[s_1|3, s_1|2, s_1|4, s_1|5]
982→1139[s_1|3, s_1|4, s_1|5]
982→1143[s_1|3, s_1|4, s_1|5]
982→1061[s_1|3, s_1|4, s_1|5]
982→1065[s_1|3, s_1|4, s_1|5]
982→1185[s_1|3, s_1|4, s_1|5]
982→1189[s_1|3, s_1|4, s_1|5]
982→1193[s_1|3, s_1|4, s_1|5]
982→1076[s_1|3, s_1|4, s_1|5]
982→1080[s_1|3, s_1|4, s_1|5]
982→1091[s_1|3, s_1|4, s_1|5]
982→1095[s_1|3, s_1|4, s_1|5]
982→1099[s_1|3, s_1|4, s_1|5]
982→999[s_1|3, s_1|4, s_1|5]
982→1003[s_1|3, s_1|4, s_1|5]
982→1123[s_1|3, s_1|4, s_1|5]
982→1127[s_1|3, s_1|4, s_1|5]
982→1131[s_1|3, s_1|4, s_1|5]
982→1014[s_1|3, s_1|4, s_1|5]
982→1018[s_1|3, s_1|4, s_1|5]
982→1029[s_1|3, s_1|4, s_1|5]
982→1033[s_1|3, s_1|4, s_1|5]
982→1037[s_1|3, s_1|4, s_1|5]
982→968[s_1|3, s_1|4, s_1|5]
982→972[s_1|3, s_1|4, s_1|5]
982→1045[s_1|3, s_1|4, s_1|5]
982→1049[s_1|3, s_1|4, s_1|5]
982→1053[s_1|3, s_1|4, s_1|5]
982→1107[s_1|3, s_1|4, s_1|5]
982→1111[s_1|3, s_1|4, s_1|5]
982→1115[s_1|3, s_1|4, s_1|5]
982→1170[s_1|3, s_1|4, s_1|5]
982→1174[s_1|3, s_1|4, s_1|5]
982→1154[s_1|3, s_1|4, s_1|5]
982→1158[s_1|3, s_1|4, s_1|5]
982→1162[s_1|3, s_1|4, s_1|5]
983→984[s_1|2]
983→986[p_1|3]
984→985[p_1|2]
985→986[p_1|2]
986→987[s_1|2, s_1|3, s_1|4, s_1|5]
986→991[s_1|3, s_1|4, s_1|5]
986→903[s_1|3, s_1|2, s_1|4, s_1|5]
986→1139[s_1|3, s_1|4, s_1|5]
986→1143[s_1|3, s_1|4, s_1|5]
986→1061[s_1|3, s_1|4, s_1|5]
986→1065[s_1|3, s_1|4, s_1|5]
986→1185[s_1|3, s_1|4, s_1|5]
986→1189[s_1|3, s_1|4, s_1|5]
986→1193[s_1|3, s_1|4, s_1|5]
986→1076[s_1|3, s_1|4, s_1|5]
986→1080[s_1|3, s_1|4, s_1|5]
986→1091[s_1|3, s_1|4, s_1|5]
986→1095[s_1|3, s_1|4, s_1|5]
986→1099[s_1|3, s_1|4, s_1|5]
986→999[s_1|3, s_1|4, s_1|5]
986→1003[s_1|3, s_1|4, s_1|5]
986→1123[s_1|3, s_1|4, s_1|5]
986→1127[s_1|3, s_1|4, s_1|5]
986→1131[s_1|3, s_1|4, s_1|5]
986→1014[s_1|3, s_1|4, s_1|5]
986→1018[s_1|3, s_1|4, s_1|5]
986→1029[s_1|3, s_1|4, s_1|5]
986→1033[s_1|3, s_1|4, s_1|5]
986→1037[s_1|3, s_1|4, s_1|5]
986→968[s_1|3, s_1|4, s_1|5]
986→972[s_1|3, s_1|4, s_1|5]
986→1045[s_1|3, s_1|4, s_1|5]
986→1049[s_1|3, s_1|4, s_1|5]
986→1053[s_1|3, s_1|4, s_1|5]
986→983[s_1|3, s_1|4, s_1|5]
986→1107[s_1|3, s_1|4, s_1|5]
986→1111[s_1|3, s_1|4, s_1|5]
986→1115[s_1|3, s_1|4, s_1|5]
986→1170[s_1|3, s_1|4, s_1|5]
986→1174[s_1|3, s_1|4, s_1|5]
986→1154[s_1|3, s_1|4, s_1|5]
986→1158[s_1|3, s_1|4, s_1|5]
986→1162[s_1|3, s_1|4, s_1|5]
987→988[s_1|2]
987→990[p_1|3]
988→989[p_1|2]
989→990[p_1|2]
990→991[s_1|2, s_1|3, s_1|4, s_1|5]
990→903[s_1|2, s_1|3, s_1|4, s_1|5]
990→1139[s_1|3, s_1|4, s_1|5]
990→1143[s_1|3, s_1|4, s_1|5]
990→1061[s_1|3, s_1|4, s_1|5]
990→1065[s_1|3, s_1|4, s_1|5]
990→1185[s_1|3, s_1|4, s_1|5]
990→1189[s_1|3, s_1|4, s_1|5]
990→1193[s_1|3, s_1|4, s_1|5]
990→1076[s_1|3, s_1|4, s_1|5]
990→1080[s_1|3, s_1|4, s_1|5]
990→1091[s_1|3, s_1|4, s_1|5]
990→1095[s_1|3, s_1|4, s_1|5]
990→1099[s_1|3, s_1|4, s_1|5]
990→999[s_1|3, s_1|4, s_1|5]
990→1003[s_1|3, s_1|4, s_1|5]
990→1123[s_1|3, s_1|4, s_1|5]
990→1127[s_1|3, s_1|4, s_1|5]
990→1131[s_1|3, s_1|4, s_1|5]
990→1014[s_1|3, s_1|4, s_1|5]
990→1018[s_1|3, s_1|4, s_1|5]
990→1029[s_1|3, s_1|4, s_1|5]
990→1033[s_1|3, s_1|4, s_1|5]
990→1037[s_1|3, s_1|4, s_1|5]
990→968[s_1|3, s_1|4, s_1|5]
990→972[s_1|3, s_1|4, s_1|5]
990→1045[s_1|3, s_1|4, s_1|5]
990→1049[s_1|3, s_1|4, s_1|5]
990→1053[s_1|3, s_1|4, s_1|5]
990→983[s_1|3, s_1|4, s_1|5]
990→987[s_1|3, s_1|4, s_1|5]
990→1107[s_1|3, s_1|4, s_1|5]
990→1111[s_1|3, s_1|4, s_1|5]
990→1115[s_1|3, s_1|4, s_1|5]
990→1170[s_1|3, s_1|4, s_1|5]
990→1174[s_1|3, s_1|4, s_1|5]
990→1154[s_1|3, s_1|4, s_1|5]
990→1158[s_1|3, s_1|4, s_1|5]
990→1162[s_1|3, s_1|4, s_1|5]
991→902[p_1|2]
991→1138[p_1|2]
991→1060[p_1|2]
991→1184[p_1|2]
991→1153[p_1|2]
992→993[p_1|2]
993→994[s_1|2]
993→998[half_1|3]
994→995[s_1|2]
994→997[p_1|3]
995→996[p_1|2]
996→997[p_1|2]
997→998[half_1|2]
998→999[s_1|2]
998→1003[s_1|3]
999→1000[s_1|2]
999→1002[p_1|3]
1000→1001[p_1|2]
1001→1002[p_1|2]
1002→1003[s_1|2]
1003→1004[s_1|2]
1003→1006[s_1|3]
1003→968[s_1|3, s_1|4, s_1|5]
1003→972[s_1|3, s_1|4, s_1|5]
1003→1045[s_1|3, s_1|4, s_1|5]
1003→1049[s_1|3, s_1|4, s_1|5]
1003→1053[s_1|3, s_1|4, s_1|5]
1003→983[s_1|3, s_1|4, s_1|5]
1003→987[s_1|3, s_1|4, s_1|5]
1003→991[s_1|3, s_1|4, s_1|5]
1003→903[s_1|3, s_1|4, s_1|2, s_1|5]
1003→1139[s_1|3, s_1|4, s_1|5]
1003→1143[s_1|3, s_1|4, s_1|5]
1003→1061[s_1|3, s_1|4, s_1|5]
1003→1065[s_1|3, s_1|4, s_1|5]
1003→1170[s_1|3, s_1|4, s_1|5]
1003→1174[s_1|3, s_1|4, s_1|5]
1003→1185[s_1|3, s_1|4, s_1|5]
1003→1189[s_1|3, s_1|4, s_1|5]
1003→1193[s_1|3, s_1|4, s_1|5]
1003→1076[s_1|3, s_1|4, s_1|5]
1003→1080[s_1|3, s_1|4, s_1|5]
1003→1091[s_1|3, s_1|4, s_1|5]
1003→1095[s_1|3, s_1|4, s_1|5]
1003→1099[s_1|3, s_1|4, s_1|5]
1003→999[s_1|3, s_1|4, s_1|5]
1003→1003[s_1|3, s_1|4, s_1|5]
1003→1123[s_1|3, s_1|4, s_1|5]
1003→1127[s_1|3, s_1|4, s_1|5]
1003→1131[s_1|3, s_1|4, s_1|5]
1003→1014[s_1|3, s_1|4, s_1|5]
1003→1018[s_1|3, s_1|4, s_1|5]
1003→1029[s_1|3, s_1|4, s_1|5]
1003→1033[s_1|3, s_1|4, s_1|5]
1003→1037[s_1|3, s_1|4, s_1|5]
1003→1107[s_1|3, s_1|4, s_1|5]
1003→1111[s_1|3, s_1|4, s_1|5]
1003→1115[s_1|3, s_1|4, s_1|5]
1003→1154[s_1|3, s_1|4, s_1|5]
1003→1158[s_1|3, s_1|4, s_1|5]
1003→1162[s_1|3, s_1|4, s_1|5]
1004→1005[p_1|2]
1005→1006[s_1|2]
1005→968[s_1|3, s_1|4, s_1|5]
1005→972[s_1|3, s_1|4, s_1|5]
1005→1045[s_1|3, s_1|4, s_1|5]
1005→1049[s_1|3, s_1|4, s_1|5]
1005→1053[s_1|3, s_1|4, s_1|5]
1005→983[s_1|3, s_1|4, s_1|5]
1005→987[s_1|3, s_1|4, s_1|5]
1005→991[s_1|3, s_1|4, s_1|5]
1005→903[s_1|3, s_1|4, s_1|2, s_1|5]
1005→1139[s_1|3, s_1|4, s_1|5]
1005→1143[s_1|3, s_1|4, s_1|5]
1005→1061[s_1|3, s_1|4, s_1|5]
1005→1065[s_1|3, s_1|4, s_1|5]
1005→1170[s_1|3, s_1|4, s_1|5]
1005→1174[s_1|3, s_1|4, s_1|5]
1005→1185[s_1|3, s_1|4, s_1|5]
1005→1189[s_1|3, s_1|4, s_1|5]
1005→1193[s_1|3, s_1|4, s_1|5]
1005→1076[s_1|3, s_1|4, s_1|5]
1005→1080[s_1|3, s_1|4, s_1|5]
1005→1091[s_1|3, s_1|4, s_1|5]
1005→1095[s_1|3, s_1|4, s_1|5]
1005→1099[s_1|3, s_1|4, s_1|5]
1005→999[s_1|3, s_1|4, s_1|5]
1005→1003[s_1|3, s_1|4, s_1|5]
1005→1123[s_1|3, s_1|4, s_1|5]
1005→1127[s_1|3, s_1|4, s_1|5]
1005→1131[s_1|3, s_1|4, s_1|5]
1005→1014[s_1|3, s_1|4, s_1|5]
1005→1018[s_1|3, s_1|4, s_1|5]
1005→1029[s_1|3, s_1|4, s_1|5]
1005→1033[s_1|3, s_1|4, s_1|5]
1005→1037[s_1|3, s_1|4, s_1|5]
1005→1107[s_1|3, s_1|4, s_1|5]
1005→1111[s_1|3, s_1|4, s_1|5]
1005→1115[s_1|3, s_1|4, s_1|5]
1005→1154[s_1|3, s_1|4, s_1|5]
1005→1158[s_1|3, s_1|4, s_1|5]
1005→1162[s_1|3, s_1|4, s_1|5]
1006→967[p_1|2]
1006→1044[p_1|2]
1007→1008[p_1|2]
1008→1009[s_1|2]
1008→1013[half_1|3]
1009→1010[s_1|2]
1009→1012[p_1|3]
1010→1011[p_1|2]
1011→1012[p_1|2]
1012→1013[half_1|2]
1013→1014[s_1|2]
1013→1018[s_1|3]
1014→1015[s_1|2]
1014→1017[p_1|3]
1015→1016[p_1|2]
1016→1017[p_1|2]
1017→1018[s_1|2]
1018→1019[s_1|2]
1018→1021[s_1|3]
1018→983[s_1|3, s_1|4, s_1|5]
1018→987[s_1|3, s_1|4, s_1|5]
1018→991[s_1|3, s_1|4, s_1|5]
1018→903[s_1|3, s_1|4, s_1|2, s_1|5]
1018→1139[s_1|3, s_1|4, s_1|5]
1018→1143[s_1|3, s_1|4, s_1|5]
1018→1061[s_1|3, s_1|4, s_1|5]
1018→1065[s_1|3, s_1|4, s_1|5]
1018→1170[s_1|3, s_1|4, s_1|5]
1018→1174[s_1|3, s_1|4, s_1|5]
1018→1185[s_1|3, s_1|4, s_1|5]
1018→1189[s_1|3, s_1|4, s_1|5]
1018→1193[s_1|3, s_1|4, s_1|5]
1018→1076[s_1|3, s_1|4, s_1|5]
1018→1080[s_1|3, s_1|4, s_1|5]
1018→1091[s_1|3, s_1|4, s_1|5]
1018→1095[s_1|3, s_1|4, s_1|5]
1018→1099[s_1|3, s_1|4, s_1|5]
1018→999[s_1|3, s_1|4, s_1|5]
1018→1003[s_1|3, s_1|4, s_1|5]
1018→1123[s_1|3, s_1|4, s_1|5]
1018→1127[s_1|3, s_1|4, s_1|5]
1018→1131[s_1|3, s_1|4, s_1|5]
1018→1014[s_1|3, s_1|4, s_1|5]
1018→1018[s_1|3, s_1|4, s_1|5]
1018→1029[s_1|3, s_1|4, s_1|5]
1018→1033[s_1|3, s_1|4, s_1|5]
1018→1037[s_1|3, s_1|4, s_1|5]
1018→968[s_1|3, s_1|4, s_1|5]
1018→972[s_1|3, s_1|4, s_1|5]
1018→1045[s_1|3, s_1|4, s_1|5]
1018→1049[s_1|3, s_1|4, s_1|5]
1018→1053[s_1|3, s_1|4, s_1|5]
1018→1107[s_1|3, s_1|4, s_1|5]
1018→1111[s_1|3, s_1|4, s_1|5]
1018→1115[s_1|3, s_1|4, s_1|5]
1018→1154[s_1|3, s_1|4, s_1|5]
1018→1158[s_1|3, s_1|4, s_1|5]
1018→1162[s_1|3, s_1|4, s_1|5]
1019→1020[p_1|2]
1020→1021[s_1|2]
1020→983[s_1|3, s_1|4, s_1|5]
1020→987[s_1|3, s_1|4, s_1|5]
1020→991[s_1|3, s_1|4, s_1|5]
1020→903[s_1|3, s_1|4, s_1|2, s_1|5]
1020→1139[s_1|3, s_1|4, s_1|5]
1020→1143[s_1|3, s_1|4, s_1|5]
1020→1061[s_1|3, s_1|4, s_1|5]
1020→1065[s_1|3, s_1|4, s_1|5]
1020→1170[s_1|3, s_1|4, s_1|5]
1020→1174[s_1|3, s_1|4, s_1|5]
1020→1185[s_1|3, s_1|4, s_1|5]
1020→1189[s_1|3, s_1|4, s_1|5]
1020→1193[s_1|3, s_1|4, s_1|5]
1020→1076[s_1|3, s_1|4, s_1|5]
1020→1080[s_1|3, s_1|4, s_1|5]
1020→1091[s_1|3, s_1|4, s_1|5]
1020→1095[s_1|3, s_1|4, s_1|5]
1020→1099[s_1|3, s_1|4, s_1|5]
1020→999[s_1|3, s_1|4, s_1|5]
1020→1003[s_1|3, s_1|4, s_1|5]
1020→1123[s_1|3, s_1|4, s_1|5]
1020→1127[s_1|3, s_1|4, s_1|5]
1020→1131[s_1|3, s_1|4, s_1|5]
1020→1014[s_1|3, s_1|4, s_1|5]
1020→1018[s_1|3, s_1|4, s_1|5]
1020→1029[s_1|3, s_1|4, s_1|5]
1020→1033[s_1|3, s_1|4, s_1|5]
1020→1037[s_1|3, s_1|4, s_1|5]
1020→968[s_1|3, s_1|4, s_1|5]
1020→972[s_1|3, s_1|4, s_1|5]
1020→1045[s_1|3, s_1|4, s_1|5]
1020→1049[s_1|3, s_1|4, s_1|5]
1020→1053[s_1|3, s_1|4, s_1|5]
1020→1107[s_1|3, s_1|4, s_1|5]
1020→1111[s_1|3, s_1|4, s_1|5]
1020→1115[s_1|3, s_1|4, s_1|5]
1020→1154[s_1|3, s_1|4, s_1|5]
1020→1158[s_1|3, s_1|4, s_1|5]
1020→1162[s_1|3, s_1|4, s_1|5]
1021→982[p_1|2]
1021→1169[p_1|2]
1022→1023[p_1|2]
1023→1024[s_1|2]
1023→1028[half_1|3]
1024→1025[s_1|2]
1024→1027[p_1|3]
1025→1026[p_1|2]
1026→1027[p_1|2]
1027→1028[half_1|2]
1028→1029[s_1|2, s_1|3, s_1|4, s_1|5]
1028→1033[s_1|3, s_1|4, s_1|5]
1028→1037[s_1|3, s_1|4, s_1|5]
1028→968[s_1|3, s_1|4, s_1|5]
1028→972[s_1|3, s_1|4, s_1|5]
1028→1045[s_1|3, s_1|4, s_1|5]
1028→1049[s_1|3, s_1|4, s_1|5]
1028→1053[s_1|3, s_1|4, s_1|5]
1028→983[s_1|3, s_1|4, s_1|5]
1028→987[s_1|3, s_1|4, s_1|5]
1028→991[s_1|3, s_1|4, s_1|5]
1028→903[s_1|3, s_1|4, s_1|2, s_1|5]
1028→1139[s_1|3, s_1|4, s_1|5]
1028→1143[s_1|3, s_1|4, s_1|5]
1028→1061[s_1|3, s_1|4, s_1|5]
1028→1065[s_1|3, s_1|4, s_1|5]
1028→1170[s_1|3, s_1|4, s_1|5]
1028→1174[s_1|3, s_1|4, s_1|5]
1028→1185[s_1|3, s_1|4, s_1|5]
1028→1189[s_1|3, s_1|4, s_1|5]
1028→1193[s_1|3, s_1|4, s_1|5]
1028→1076[s_1|3, s_1|4, s_1|5]
1028→1080[s_1|3, s_1|4, s_1|5]
1028→1091[s_1|3, s_1|4, s_1|5]
1028→1095[s_1|3, s_1|4, s_1|5]
1028→1099[s_1|3, s_1|4, s_1|5]
1028→999[s_1|3, s_1|4, s_1|5]
1028→1003[s_1|3, s_1|4, s_1|5]
1028→1123[s_1|3, s_1|4, s_1|5]
1028→1127[s_1|3, s_1|4, s_1|5]
1028→1131[s_1|3, s_1|4, s_1|5]
1028→1014[s_1|3, s_1|4, s_1|5]
1028→1018[s_1|3, s_1|4, s_1|5]
1028→1107[s_1|3, s_1|4, s_1|5]
1028→1111[s_1|3, s_1|4, s_1|5]
1028→1115[s_1|3, s_1|4, s_1|5]
1028→1154[s_1|3, s_1|4, s_1|5]
1028→1158[s_1|3, s_1|4, s_1|5]
1028→1162[s_1|3, s_1|4, s_1|5]
1029→1030[s_1|2]
1029→1032[p_1|3]
1030→1031[p_1|2]
1031→1032[p_1|2]
1032→1033[s_1|2, s_1|3, s_1|4, s_1|5]
1032→1037[s_1|3, s_1|4, s_1|5]
1032→968[s_1|3, s_1|4, s_1|5]
1032→972[s_1|3, s_1|4, s_1|5]
1032→1045[s_1|3, s_1|4, s_1|5]
1032→1049[s_1|3, s_1|4, s_1|5]
1032→1053[s_1|3, s_1|4, s_1|5]
1032→983[s_1|3, s_1|4, s_1|5]
1032→987[s_1|3, s_1|4, s_1|5]
1032→991[s_1|3, s_1|4, s_1|5]
1032→903[s_1|3, s_1|4, s_1|2, s_1|5]
1032→1139[s_1|3, s_1|4, s_1|5]
1032→1143[s_1|3, s_1|4, s_1|5]
1032→1061[s_1|3, s_1|4, s_1|5]
1032→1065[s_1|3, s_1|4, s_1|5]
1032→1170[s_1|3, s_1|4, s_1|5]
1032→1174[s_1|3, s_1|4, s_1|5]
1032→1185[s_1|3, s_1|4, s_1|5]
1032→1189[s_1|3, s_1|4, s_1|5]
1032→1193[s_1|3, s_1|4, s_1|5]
1032→1076[s_1|3, s_1|4, s_1|5]
1032→1080[s_1|3, s_1|4, s_1|5]
1032→1091[s_1|3, s_1|4, s_1|5]
1032→1095[s_1|3, s_1|4, s_1|5]
1032→1099[s_1|3, s_1|4, s_1|5]
1032→999[s_1|3, s_1|4, s_1|5]
1032→1003[s_1|3, s_1|4, s_1|5]
1032→1123[s_1|3, s_1|4, s_1|5]
1032→1127[s_1|3, s_1|4, s_1|5]
1032→1131[s_1|3, s_1|4, s_1|5]
1032→1014[s_1|3, s_1|4, s_1|5]
1032→1018[s_1|3, s_1|4, s_1|5]
1032→1029[s_1|3, s_1|4, s_1|5]
1032→1107[s_1|3, s_1|4, s_1|5]
1032→1111[s_1|3, s_1|4, s_1|5]
1032→1115[s_1|3, s_1|4, s_1|5]
1032→1154[s_1|3, s_1|4, s_1|5]
1032→1158[s_1|3, s_1|4, s_1|5]
1032→1162[s_1|3, s_1|4, s_1|5]
1033→1034[s_1|2]
1033→1036[p_1|3]
1034→1035[p_1|2]
1035→1036[p_1|2]
1036→1037[s_1|2, s_1|3, s_1|4, s_1|5]
1036→968[s_1|3, s_1|4, s_1|5]
1036→972[s_1|3, s_1|4, s_1|5]
1036→1045[s_1|3, s_1|4, s_1|5]
1036→1049[s_1|3, s_1|4, s_1|5]
1036→1053[s_1|3, s_1|4, s_1|5]
1036→983[s_1|3, s_1|4, s_1|5]
1036→987[s_1|3, s_1|4, s_1|5]
1036→991[s_1|3, s_1|4, s_1|5]
1036→903[s_1|3, s_1|4, s_1|2, s_1|5]
1036→1139[s_1|3, s_1|4, s_1|5]
1036→1143[s_1|3, s_1|4, s_1|5]
1036→1061[s_1|3, s_1|4, s_1|5]
1036→1065[s_1|3, s_1|4, s_1|5]
1036→1170[s_1|3, s_1|4, s_1|5]
1036→1174[s_1|3, s_1|4, s_1|5]
1036→1185[s_1|3, s_1|4, s_1|5]
1036→1189[s_1|3, s_1|4, s_1|5]
1036→1193[s_1|3, s_1|4, s_1|5]
1036→1076[s_1|3, s_1|4, s_1|5]
1036→1080[s_1|3, s_1|4, s_1|5]
1036→1091[s_1|3, s_1|4, s_1|5]
1036→1095[s_1|3, s_1|4, s_1|5]
1036→1099[s_1|3, s_1|4, s_1|5]
1036→999[s_1|3, s_1|4, s_1|5]
1036→1003[s_1|3, s_1|4, s_1|5]
1036→1123[s_1|3, s_1|4, s_1|5]
1036→1127[s_1|3, s_1|4, s_1|5]
1036→1131[s_1|3, s_1|4, s_1|5]
1036→1014[s_1|3, s_1|4, s_1|5]
1036→1018[s_1|3, s_1|4, s_1|5]
1036→1029[s_1|3, s_1|4, s_1|5]
1036→1033[s_1|3, s_1|4, s_1|5]
1036→1107[s_1|3, s_1|4, s_1|5]
1036→1111[s_1|3, s_1|4, s_1|5]
1036→1115[s_1|3, s_1|4, s_1|5]
1036→1154[s_1|3, s_1|4, s_1|5]
1036→1158[s_1|3, s_1|4, s_1|5]
1036→1162[s_1|3, s_1|4, s_1|5]
1037→967[p_1|2]
1037→1044[p_1|2]
1038→1039[p_1|2]
1039→1040[s_1|2]
1039→1044[half_1|3]
1040→1041[s_1|2]
1040→1043[p_1|3]
1041→1042[p_1|2]
1042→1043[p_1|2]
1043→1044[half_1|2]
1044→1045[s_1|2, s_1|3, s_1|4, s_1|5]
1044→1049[s_1|3, s_1|4, s_1|5]
1044→1053[s_1|3, s_1|4, s_1|5]
1044→983[s_1|3, s_1|4, s_1|5]
1044→987[s_1|3, s_1|4, s_1|5]
1044→991[s_1|3, s_1|4, s_1|5]
1044→903[s_1|3, s_1|4, s_1|2, s_1|5]
1044→1139[s_1|3, s_1|4, s_1|5]
1044→1143[s_1|3, s_1|4, s_1|5]
1044→1061[s_1|3, s_1|4, s_1|5]
1044→1065[s_1|3, s_1|4, s_1|5]
1044→1170[s_1|3, s_1|4, s_1|5]
1044→1174[s_1|3, s_1|4, s_1|5]
1044→1185[s_1|3, s_1|4, s_1|5]
1044→1189[s_1|3, s_1|4, s_1|5]
1044→1193[s_1|3, s_1|4, s_1|5]
1044→1076[s_1|3, s_1|4, s_1|5]
1044→1080[s_1|3, s_1|4, s_1|5]
1044→1091[s_1|3, s_1|4, s_1|5]
1044→1095[s_1|3, s_1|4, s_1|5]
1044→1099[s_1|3, s_1|4, s_1|5]
1044→999[s_1|3, s_1|4, s_1|5]
1044→1003[s_1|3, s_1|4, s_1|5]
1044→1123[s_1|3, s_1|4, s_1|5]
1044→1127[s_1|3, s_1|4, s_1|5]
1044→1131[s_1|3, s_1|4, s_1|5]
1044→1014[s_1|3, s_1|4, s_1|5]
1044→1018[s_1|3, s_1|4, s_1|5]
1044→1029[s_1|3, s_1|4, s_1|5]
1044→1033[s_1|3, s_1|4, s_1|5]
1044→1037[s_1|3, s_1|4, s_1|5]
1044→968[s_1|3, s_1|4, s_1|5]
1044→972[s_1|3, s_1|4, s_1|5]
1044→1107[s_1|3, s_1|4, s_1|5]
1044→1111[s_1|3, s_1|4, s_1|5]
1044→1115[s_1|3, s_1|4, s_1|5]
1044→1154[s_1|3, s_1|4, s_1|5]
1044→1158[s_1|3, s_1|4, s_1|5]
1044→1162[s_1|3, s_1|4, s_1|5]
1045→1046[s_1|2]
1045→1048[p_1|3]
1046→1047[p_1|2]
1047→1048[p_1|2]
1048→1049[s_1|2, s_1|3, s_1|4, s_1|5]
1048→1053[s_1|3, s_1|4, s_1|5]
1048→983[s_1|3, s_1|4, s_1|5]
1048→987[s_1|3, s_1|4, s_1|5]
1048→991[s_1|3, s_1|4, s_1|5]
1048→903[s_1|3, s_1|4, s_1|2, s_1|5]
1048→1139[s_1|3, s_1|4, s_1|5]
1048→1143[s_1|3, s_1|4, s_1|5]
1048→1061[s_1|3, s_1|4, s_1|5]
1048→1065[s_1|3, s_1|4, s_1|5]
1048→1170[s_1|3, s_1|4, s_1|5]
1048→1174[s_1|3, s_1|4, s_1|5]
1048→1185[s_1|3, s_1|4, s_1|5]
1048→1189[s_1|3, s_1|4, s_1|5]
1048→1193[s_1|3, s_1|4, s_1|5]
1048→1076[s_1|3, s_1|4, s_1|5]
1048→1080[s_1|3, s_1|4, s_1|5]
1048→1091[s_1|3, s_1|4, s_1|5]
1048→1095[s_1|3, s_1|4, s_1|5]
1048→1099[s_1|3, s_1|4, s_1|5]
1048→999[s_1|3, s_1|4, s_1|5]
1048→1003[s_1|3, s_1|4, s_1|5]
1048→1123[s_1|3, s_1|4, s_1|5]
1048→1127[s_1|3, s_1|4, s_1|5]
1048→1131[s_1|3, s_1|4, s_1|5]
1048→1014[s_1|3, s_1|4, s_1|5]
1048→1018[s_1|3, s_1|4, s_1|5]
1048→1029[s_1|3, s_1|4, s_1|5]
1048→1033[s_1|3, s_1|4, s_1|5]
1048→1037[s_1|3, s_1|4, s_1|5]
1048→968[s_1|3, s_1|4, s_1|5]
1048→972[s_1|3, s_1|4, s_1|5]
1048→1045[s_1|3, s_1|4, s_1|5]
1048→1107[s_1|3, s_1|4, s_1|5]
1048→1111[s_1|3, s_1|4, s_1|5]
1048→1115[s_1|3, s_1|4, s_1|5]
1048→1154[s_1|3, s_1|4, s_1|5]
1048→1158[s_1|3, s_1|4, s_1|5]
1048→1162[s_1|3, s_1|4, s_1|5]
1049→1050[s_1|2]
1049→1052[p_1|3]
1050→1051[p_1|2]
1051→1052[p_1|2]
1052→1053[s_1|2, s_1|3, s_1|4, s_1|5]
1052→983[s_1|3, s_1|4, s_1|5]
1052→987[s_1|3, s_1|4, s_1|5]
1052→991[s_1|3, s_1|4, s_1|5]
1052→903[s_1|3, s_1|4, s_1|2, s_1|5]
1052→1139[s_1|3, s_1|4, s_1|5]
1052→1143[s_1|3, s_1|4, s_1|5]
1052→1061[s_1|3, s_1|4, s_1|5]
1052→1065[s_1|3, s_1|4, s_1|5]
1052→1170[s_1|3, s_1|4, s_1|5]
1052→1174[s_1|3, s_1|4, s_1|5]
1052→1185[s_1|3, s_1|4, s_1|5]
1052→1189[s_1|3, s_1|4, s_1|5]
1052→1193[s_1|3, s_1|4, s_1|5]
1052→1076[s_1|3, s_1|4, s_1|5]
1052→1080[s_1|3, s_1|4, s_1|5]
1052→1091[s_1|3, s_1|4, s_1|5]
1052→1095[s_1|3, s_1|4, s_1|5]
1052→1099[s_1|3, s_1|4, s_1|5]
1052→999[s_1|3, s_1|4, s_1|5]
1052→1003[s_1|3, s_1|4, s_1|5]
1052→1123[s_1|3, s_1|4, s_1|5]
1052→1127[s_1|3, s_1|4, s_1|5]
1052→1131[s_1|3, s_1|4, s_1|5]
1052→1014[s_1|3, s_1|4, s_1|5]
1052→1018[s_1|3, s_1|4, s_1|5]
1052→1029[s_1|3, s_1|4, s_1|5]
1052→1033[s_1|3, s_1|4, s_1|5]
1052→1037[s_1|3, s_1|4, s_1|5]
1052→968[s_1|3, s_1|4, s_1|5]
1052→972[s_1|3, s_1|4, s_1|5]
1052→1045[s_1|3, s_1|4, s_1|5]
1052→1049[s_1|3, s_1|4, s_1|5]
1052→1107[s_1|3, s_1|4, s_1|5]
1052→1111[s_1|3, s_1|4, s_1|5]
1052→1115[s_1|3, s_1|4, s_1|5]
1052→1154[s_1|3, s_1|4, s_1|5]
1052→1158[s_1|3, s_1|4, s_1|5]
1052→1162[s_1|3, s_1|4, s_1|5]
1053→982[p_1|2]
1053→1169[p_1|2]
1054→1055[p_1|2]
1055→1056[s_1|2]
1055→1060[half_1|3]
1056→1057[s_1|2]
1056→1059[p_1|3]
1057→1058[p_1|2]
1058→1059[p_1|2]
1059→1060[half_1|2]
1060→1061[s_1|2]
1060→1065[s_1|3]
1061→1062[s_1|2]
1061→1064[p_1|3]
1062→1063[p_1|2]
1063→1064[p_1|2]
1064→1065[s_1|2]
1065→1066[s_1|2]
1065→1068[s_1|3]
1065→999[s_1|3, s_1|4, s_1|5]
1065→1003[s_1|3, s_1|4, s_1|5]
1065→1123[s_1|3, s_1|4, s_1|5]
1065→1127[s_1|3, s_1|4, s_1|5]
1065→1131[s_1|3, s_1|4, s_1|5]
1065→1014[s_1|3, s_1|4, s_1|5]
1065→1018[s_1|3, s_1|4, s_1|5]
1065→1029[s_1|3, s_1|4, s_1|5]
1065→1033[s_1|3, s_1|4, s_1|5]
1065→1037[s_1|3, s_1|4, s_1|5]
1065→968[s_1|3, s_1|4, s_1|5]
1065→972[s_1|3, s_1|4, s_1|5]
1065→1045[s_1|3, s_1|4, s_1|5]
1065→1049[s_1|3, s_1|4, s_1|5]
1065→1053[s_1|3, s_1|4, s_1|5]
1065→983[s_1|3, s_1|4, s_1|5]
1065→987[s_1|3, s_1|4, s_1|5]
1065→991[s_1|3, s_1|4, s_1|5]
1065→903[s_1|3, s_1|4, s_1|2, s_1|5]
1065→1139[s_1|3, s_1|4, s_1|5]
1065→1143[s_1|3, s_1|4, s_1|5]
1065→1061[s_1|3, s_1|4, s_1|5]
1065→1065[s_1|3, s_1|4, s_1|5]
1065→1170[s_1|3, s_1|4, s_1|5]
1065→1174[s_1|3, s_1|4, s_1|5]
1065→1185[s_1|3, s_1|4, s_1|5]
1065→1189[s_1|3, s_1|4, s_1|5]
1065→1193[s_1|3, s_1|4, s_1|5]
1065→1076[s_1|3, s_1|4, s_1|5]
1065→1080[s_1|3, s_1|4, s_1|5]
1065→1091[s_1|3, s_1|4, s_1|5]
1065→1095[s_1|3, s_1|4, s_1|5]
1065→1099[s_1|3, s_1|4, s_1|5]
1065→1107[s_1|3, s_1|4, s_1|5]
1065→1111[s_1|3, s_1|4, s_1|5]
1065→1115[s_1|3, s_1|4, s_1|5]
1065→1154[s_1|3, s_1|4, s_1|5]
1065→1158[s_1|3, s_1|4, s_1|5]
1065→1162[s_1|3, s_1|4, s_1|5]
1066→1067[p_1|2]
1067→1068[s_1|2]
1067→999[s_1|3, s_1|4, s_1|5]
1067→1003[s_1|3, s_1|4, s_1|5]
1067→1123[s_1|3, s_1|4, s_1|5]
1067→1127[s_1|3, s_1|4, s_1|5]
1067→1131[s_1|3, s_1|4, s_1|5]
1067→1014[s_1|3, s_1|4, s_1|5]
1067→1018[s_1|3, s_1|4, s_1|5]
1067→1029[s_1|3, s_1|4, s_1|5]
1067→1033[s_1|3, s_1|4, s_1|5]
1067→1037[s_1|3, s_1|4, s_1|5]
1067→968[s_1|3, s_1|4, s_1|5]
1067→972[s_1|3, s_1|4, s_1|5]
1067→1045[s_1|3, s_1|4, s_1|5]
1067→1049[s_1|3, s_1|4, s_1|5]
1067→1053[s_1|3, s_1|4, s_1|5]
1067→983[s_1|3, s_1|4, s_1|5]
1067→987[s_1|3, s_1|4, s_1|5]
1067→991[s_1|3, s_1|4, s_1|5]
1067→903[s_1|3, s_1|4, s_1|2, s_1|5]
1067→1139[s_1|3, s_1|4, s_1|5]
1067→1143[s_1|3, s_1|4, s_1|5]
1067→1061[s_1|3, s_1|4, s_1|5]
1067→1065[s_1|3, s_1|4, s_1|5]
1067→1170[s_1|3, s_1|4, s_1|5]
1067→1174[s_1|3, s_1|4, s_1|5]
1067→1185[s_1|3, s_1|4, s_1|5]
1067→1189[s_1|3, s_1|4, s_1|5]
1067→1193[s_1|3, s_1|4, s_1|5]
1067→1076[s_1|3, s_1|4, s_1|5]
1067→1080[s_1|3, s_1|4, s_1|5]
1067→1091[s_1|3, s_1|4, s_1|5]
1067→1095[s_1|3, s_1|4, s_1|5]
1067→1099[s_1|3, s_1|4, s_1|5]
1067→1107[s_1|3, s_1|4, s_1|5]
1067→1111[s_1|3, s_1|4, s_1|5]
1067→1115[s_1|3, s_1|4, s_1|5]
1067→1154[s_1|3, s_1|4, s_1|5]
1067→1158[s_1|3, s_1|4, s_1|5]
1067→1162[s_1|3, s_1|4, s_1|5]
1068→998[p_1|2]
1068→1122[p_1|2]
1069→1070[p_1|2]
1070→1071[s_1|2]
1070→1075[half_1|3]
1071→1072[s_1|2]
1071→1074[p_1|3]
1072→1073[p_1|2]
1073→1074[p_1|2]
1074→1075[half_1|2]
1075→1076[s_1|2]
1075→1080[s_1|3]
1076→1077[s_1|2]
1076→1079[p_1|3]
1077→1078[p_1|2]
1078→1079[p_1|2]
1079→1080[s_1|2]
1080→1081[s_1|2]
1080→1083[s_1|3]
1080→1014[s_1|3, s_1|4, s_1|5]
1080→1018[s_1|3, s_1|4, s_1|5]
1080→1029[s_1|3, s_1|4, s_1|5]
1080→1033[s_1|3, s_1|4, s_1|5]
1080→1037[s_1|3, s_1|4, s_1|5]
1080→968[s_1|3, s_1|4, s_1|5]
1080→972[s_1|3, s_1|4, s_1|5]
1080→1045[s_1|3, s_1|4, s_1|5]
1080→1049[s_1|3, s_1|4, s_1|5]
1080→1053[s_1|3, s_1|4, s_1|5]
1080→983[s_1|3, s_1|4, s_1|5]
1080→987[s_1|3, s_1|4, s_1|5]
1080→991[s_1|3, s_1|4, s_1|5]
1080→903[s_1|3, s_1|4, s_1|2, s_1|5]
1080→1139[s_1|3, s_1|4, s_1|5]
1080→1143[s_1|3, s_1|4, s_1|5]
1080→1061[s_1|3, s_1|4, s_1|5]
1080→1065[s_1|3, s_1|4, s_1|5]
1080→1170[s_1|3, s_1|4, s_1|5]
1080→1174[s_1|3, s_1|4, s_1|5]
1080→1185[s_1|3, s_1|4, s_1|5]
1080→1189[s_1|3, s_1|4, s_1|5]
1080→1193[s_1|3, s_1|4, s_1|5]
1080→1076[s_1|3, s_1|4, s_1|5]
1080→1080[s_1|3, s_1|4, s_1|5]
1080→1091[s_1|3, s_1|4, s_1|5]
1080→1095[s_1|3, s_1|4, s_1|5]
1080→1099[s_1|3, s_1|4, s_1|5]
1080→999[s_1|3, s_1|4, s_1|5]
1080→1003[s_1|3, s_1|4, s_1|5]
1080→1123[s_1|3, s_1|4, s_1|5]
1080→1127[s_1|3, s_1|4, s_1|5]
1080→1131[s_1|3, s_1|4, s_1|5]
1080→1107[s_1|3, s_1|4, s_1|5]
1080→1111[s_1|3, s_1|4, s_1|5]
1080→1115[s_1|3, s_1|4, s_1|5]
1080→1154[s_1|3, s_1|4, s_1|5]
1080→1158[s_1|3, s_1|4, s_1|5]
1080→1162[s_1|3, s_1|4, s_1|5]
1081→1082[p_1|2]
1082→1083[s_1|2]
1082→1014[s_1|3, s_1|4, s_1|5]
1082→1018[s_1|3, s_1|4, s_1|5]
1082→1029[s_1|3, s_1|4, s_1|5]
1082→1033[s_1|3, s_1|4, s_1|5]
1082→1037[s_1|3, s_1|4, s_1|5]
1082→968[s_1|3, s_1|4, s_1|5]
1082→972[s_1|3, s_1|4, s_1|5]
1082→1045[s_1|3, s_1|4, s_1|5]
1082→1049[s_1|3, s_1|4, s_1|5]
1082→1053[s_1|3, s_1|4, s_1|5]
1082→983[s_1|3, s_1|4, s_1|5]
1082→987[s_1|3, s_1|4, s_1|5]
1082→991[s_1|3, s_1|4, s_1|5]
1082→903[s_1|3, s_1|4, s_1|2, s_1|5]
1082→1139[s_1|3, s_1|4, s_1|5]
1082→1143[s_1|3, s_1|4, s_1|5]
1082→1061[s_1|3, s_1|4, s_1|5]
1082→1065[s_1|3, s_1|4, s_1|5]
1082→1170[s_1|3, s_1|4, s_1|5]
1082→1174[s_1|3, s_1|4, s_1|5]
1082→1185[s_1|3, s_1|4, s_1|5]
1082→1189[s_1|3, s_1|4, s_1|5]
1082→1193[s_1|3, s_1|4, s_1|5]
1082→1076[s_1|3, s_1|4, s_1|5]
1082→1080[s_1|3, s_1|4, s_1|5]
1082→1091[s_1|3, s_1|4, s_1|5]
1082→1095[s_1|3, s_1|4, s_1|5]
1082→1099[s_1|3, s_1|4, s_1|5]
1082→999[s_1|3, s_1|4, s_1|5]
1082→1003[s_1|3, s_1|4, s_1|5]
1082→1123[s_1|3, s_1|4, s_1|5]
1082→1127[s_1|3, s_1|4, s_1|5]
1082→1131[s_1|3, s_1|4, s_1|5]
1082→1107[s_1|3, s_1|4, s_1|5]
1082→1111[s_1|3, s_1|4, s_1|5]
1082→1115[s_1|3, s_1|4, s_1|5]
1082→1154[s_1|3, s_1|4, s_1|5]
1082→1158[s_1|3, s_1|4, s_1|5]
1082→1162[s_1|3, s_1|4, s_1|5]
1083→1013[p_1|2]
1083→1028[p_1|2]
1084→1085[p_1|3]
1085→1086[s_1|3]
1085→1090[half_1|4]
1086→1087[s_1|3]
1086→1089[p_1|4]
1087→1088[p_1|3]
1088→1089[p_1|3]
1089→1090[half_1|3]
1090→1091[s_1|3, s_1|4, s_1|5]
1090→1095[s_1|4, s_1|3, s_1|5]
1090→1099[s_1|4, s_1|3, s_1|5]
1090→999[s_1|4, s_1|3, s_1|5]
1090→1003[s_1|4, s_1|5, s_1|3]
1090→1123[s_1|3, s_1|4, s_1|5]
1090→1127[s_1|4, s_1|5, s_1|3]
1090→1131[s_1|4, s_1|5, s_1|3]
1090→1014[s_1|4, s_1|5, s_1|3]
1090→1018[s_1|4, s_1|5, s_1|3]
1090→1029[s_1|4, s_1|5, s_1|3]
1090→1033[s_1|4, s_1|5, s_1|3]
1090→1037[s_1|4, s_1|5, s_1|3]
1090→968[s_1|4, s_1|5, s_1|3]
1090→972[s_1|4, s_1|5, s_1|3]
1090→1045[s_1|4, s_1|5, s_1|3]
1090→1049[s_1|4, s_1|5, s_1|3]
1090→1053[s_1|4, s_1|5, s_1|3]
1090→983[s_1|4, s_1|5, s_1|3]
1090→987[s_1|4, s_1|5, s_1|3]
1090→991[s_1|4, s_1|5, s_1|3]
1090→903[s_1|4, s_1|5, s_1|3, s_1|2]
1090→1139[s_1|4, s_1|3, s_1|5]
1090→1143[s_1|4, s_1|3, s_1|5]
1090→1061[s_1|3, s_1|4, s_1|5]
1090→1065[s_1|3, s_1|4, s_1|5]
1090→1170[s_1|3, s_1|4, s_1|5]
1090→1174[s_1|3, s_1|4, s_1|5]
1090→1185[s_1|3, s_1|4, s_1|5]
1090→1189[s_1|3, s_1|4, s_1|5]
1090→1193[s_1|3, s_1|4, s_1|5]
1090→1076[s_1|3, s_1|4, s_1|5]
1090→1080[s_1|3, s_1|4, s_1|5]
1090→1107[s_1|3, s_1|4, s_1|5]
1090→1111[s_1|3, s_1|4, s_1|5]
1090→1115[s_1|3, s_1|4, s_1|5]
1090→1154[s_1|3, s_1|4, s_1|5]
1090→1158[s_1|3, s_1|4, s_1|5]
1090→1162[s_1|3, s_1|4, s_1|5]
1091→1092[s_1|3]
1091→1094[p_1|4]
1092→1093[p_1|3]
1093→1094[p_1|3]
1094→1095[s_1|3, s_1|4, s_1|5]
1094→1099[s_1|4, s_1|3, s_1|5]
1094→999[s_1|4, s_1|3, s_1|5]
1094→1003[s_1|4, s_1|3, s_1|5]
1094→1123[s_1|3, s_1|4, s_1|5]
1094→1127[s_1|4, s_1|3, s_1|5]
1094→1131[s_1|4, s_1|3, s_1|5]
1094→1014[s_1|4, s_1|3, s_1|5]
1094→1018[s_1|4, s_1|3, s_1|5]
1094→1029[s_1|4, s_1|3, s_1|5]
1094→1033[s_1|4, s_1|3, s_1|5]
1094→1037[s_1|4, s_1|3, s_1|5]
1094→968[s_1|4, s_1|3, s_1|5]
1094→972[s_1|4, s_1|3, s_1|5]
1094→1045[s_1|4, s_1|3, s_1|5]
1094→1049[s_1|4, s_1|3, s_1|5]
1094→1053[s_1|4, s_1|3, s_1|5]
1094→983[s_1|4, s_1|3, s_1|5]
1094→987[s_1|4, s_1|3, s_1|5]
1094→991[s_1|4, s_1|3, s_1|5]
1094→903[s_1|4, s_1|3, s_1|2, s_1|5]
1094→1139[s_1|4, s_1|3, s_1|5]
1094→1143[s_1|4, s_1|3, s_1|5]
1094→1061[s_1|3, s_1|4, s_1|5]
1094→1065[s_1|3, s_1|4, s_1|5]
1094→1170[s_1|3, s_1|4, s_1|5]
1094→1174[s_1|3, s_1|4, s_1|5]
1094→1185[s_1|3, s_1|4, s_1|5]
1094→1189[s_1|3, s_1|4, s_1|5]
1094→1193[s_1|3, s_1|4, s_1|5]
1094→1076[s_1|3, s_1|4, s_1|5]
1094→1080[s_1|3, s_1|4, s_1|5]
1094→1091[s_1|3, s_1|4, s_1|5]
1094→1107[s_1|3, s_1|4, s_1|5]
1094→1111[s_1|3, s_1|4, s_1|5]
1094→1115[s_1|3, s_1|4, s_1|5]
1094→1154[s_1|3, s_1|4, s_1|5]
1094→1158[s_1|3, s_1|4, s_1|5]
1094→1162[s_1|3, s_1|4, s_1|5]
1095→1096[s_1|3]
1095→1098[p_1|4]
1096→1097[p_1|3]
1097→1098[p_1|3]
1098→1099[s_1|3, s_1|4, s_1|5]
1098→999[s_1|3, s_1|4, s_1|5]
1098→1003[s_1|4, s_1|3, s_1|5]
1098→1123[s_1|3, s_1|4, s_1|5]
1098→1127[s_1|4, s_1|3, s_1|5]
1098→1131[s_1|4, s_1|3, s_1|5]
1098→1014[s_1|4, s_1|3, s_1|5]
1098→1018[s_1|4, s_1|3, s_1|5]
1098→1029[s_1|4, s_1|3, s_1|5]
1098→1033[s_1|4, s_1|3, s_1|5]
1098→1037[s_1|4, s_1|3, s_1|5]
1098→968[s_1|4, s_1|3, s_1|5]
1098→972[s_1|4, s_1|3, s_1|5]
1098→1045[s_1|4, s_1|3, s_1|5]
1098→1049[s_1|4, s_1|3, s_1|5]
1098→1053[s_1|4, s_1|3, s_1|5]
1098→983[s_1|4, s_1|3, s_1|5]
1098→987[s_1|4, s_1|3, s_1|5]
1098→991[s_1|4, s_1|3, s_1|5]
1098→903[s_1|4, s_1|3, s_1|2, s_1|5]
1098→1139[s_1|4, s_1|3, s_1|5]
1098→1143[s_1|4, s_1|3, s_1|5]
1098→1061[s_1|3, s_1|4, s_1|5]
1098→1065[s_1|3, s_1|4, s_1|5]
1098→1170[s_1|3, s_1|4, s_1|5]
1098→1174[s_1|3, s_1|4, s_1|5]
1098→1185[s_1|3, s_1|4, s_1|5]
1098→1189[s_1|3, s_1|4, s_1|5]
1098→1193[s_1|3, s_1|4, s_1|5]
1098→1076[s_1|3, s_1|4, s_1|5]
1098→1080[s_1|3, s_1|4, s_1|5]
1098→1091[s_1|3, s_1|4, s_1|5]
1098→1095[s_1|3, s_1|4, s_1|5]
1098→1107[s_1|3, s_1|4, s_1|5]
1098→1111[s_1|3, s_1|4, s_1|5]
1098→1115[s_1|3, s_1|4, s_1|5]
1098→1154[s_1|3, s_1|4, s_1|5]
1098→1158[s_1|3, s_1|4, s_1|5]
1098→1162[s_1|3, s_1|4, s_1|5]
1099→998[p_1|3]
1099→1122[p_1|3]
1100→1101[p_1|2]
1101→1102[s_1|2]
1101→1106[half_1|3]
1102→1103[s_1|2]
1102→1105[p_1|3]
1103→1104[p_1|2]
1104→1105[p_1|2]
1105→1106[half_1|2]
1106→1107[s_1|2, s_1|3, s_1|4, s_1|5]
1106→1111[s_1|3, s_1|4, s_1|5]
1106→1115[s_1|3, s_1|4, s_1|5]
1106→999[s_1|3, s_1|4, s_1|5]
1106→1003[s_1|3, s_1|4, s_1|5]
1106→1123[s_1|3, s_1|4, s_1|5]
1106→1127[s_1|3, s_1|4, s_1|5]
1106→1131[s_1|3, s_1|4, s_1|5]
1106→1014[s_1|3, s_1|4, s_1|5]
1106→1018[s_1|3, s_1|4, s_1|5]
1106→1029[s_1|3, s_1|4, s_1|5]
1106→1033[s_1|3, s_1|4, s_1|5]
1106→1037[s_1|3, s_1|4, s_1|5]
1106→968[s_1|3, s_1|4, s_1|5]
1106→972[s_1|3, s_1|4, s_1|5]
1106→1045[s_1|3, s_1|4, s_1|5]
1106→1049[s_1|3, s_1|4, s_1|5]
1106→1053[s_1|3, s_1|4, s_1|5]
1106→983[s_1|3, s_1|4, s_1|5]
1106→987[s_1|3, s_1|4, s_1|5]
1106→991[s_1|3, s_1|4, s_1|5]
1106→903[s_1|3, s_1|4, s_1|2, s_1|5]
1106→1139[s_1|3, s_1|4, s_1|5]
1106→1143[s_1|3, s_1|4, s_1|5]
1106→1061[s_1|3, s_1|4, s_1|5]
1106→1065[s_1|3, s_1|4, s_1|5]
1106→1170[s_1|3, s_1|4, s_1|5]
1106→1174[s_1|3, s_1|4, s_1|5]
1106→1185[s_1|3, s_1|4, s_1|5]
1106→1189[s_1|3, s_1|4, s_1|5]
1106→1193[s_1|3, s_1|4, s_1|5]
1106→1076[s_1|3, s_1|4, s_1|5]
1106→1080[s_1|3, s_1|4, s_1|5]
1106→1091[s_1|3, s_1|4, s_1|5]
1106→1095[s_1|3, s_1|4, s_1|5]
1106→1099[s_1|3, s_1|4, s_1|5]
1106→1154[s_1|3, s_1|4, s_1|5]
1106→1158[s_1|3, s_1|4, s_1|5]
1106→1162[s_1|3, s_1|4, s_1|5]
1107→1108[s_1|2]
1107→1110[p_1|3]
1108→1109[p_1|2]
1109→1110[p_1|2]
1110→1111[s_1|2, s_1|3, s_1|4, s_1|5]
1110→1115[s_1|3, s_1|4, s_1|5]
1110→999[s_1|3, s_1|4, s_1|5]
1110→1003[s_1|3, s_1|4, s_1|5]
1110→1123[s_1|3, s_1|4, s_1|5]
1110→1127[s_1|3, s_1|4, s_1|5]
1110→1131[s_1|3, s_1|4, s_1|5]
1110→1014[s_1|3, s_1|4, s_1|5]
1110→1018[s_1|3, s_1|4, s_1|5]
1110→1029[s_1|3, s_1|4, s_1|5]
1110→1033[s_1|3, s_1|4, s_1|5]
1110→1037[s_1|3, s_1|4, s_1|5]
1110→968[s_1|3, s_1|4, s_1|5]
1110→972[s_1|3, s_1|4, s_1|5]
1110→1045[s_1|3, s_1|4, s_1|5]
1110→1049[s_1|3, s_1|4, s_1|5]
1110→1053[s_1|3, s_1|4, s_1|5]
1110→983[s_1|3, s_1|4, s_1|5]
1110→987[s_1|3, s_1|4, s_1|5]
1110→991[s_1|3, s_1|4, s_1|5]
1110→903[s_1|3, s_1|4, s_1|2, s_1|5]
1110→1139[s_1|3, s_1|4, s_1|5]
1110→1143[s_1|3, s_1|4, s_1|5]
1110→1061[s_1|3, s_1|4, s_1|5]
1110→1065[s_1|3, s_1|4, s_1|5]
1110→1170[s_1|3, s_1|4, s_1|5]
1110→1174[s_1|3, s_1|4, s_1|5]
1110→1185[s_1|3, s_1|4, s_1|5]
1110→1189[s_1|3, s_1|4, s_1|5]
1110→1193[s_1|3, s_1|4, s_1|5]
1110→1076[s_1|3, s_1|4, s_1|5]
1110→1080[s_1|3, s_1|4, s_1|5]
1110→1091[s_1|3, s_1|4, s_1|5]
1110→1095[s_1|3, s_1|4, s_1|5]
1110→1099[s_1|3, s_1|4, s_1|5]
1110→1107[s_1|3, s_1|4, s_1|5]
1110→1154[s_1|3, s_1|4, s_1|5]
1110→1158[s_1|3, s_1|4, s_1|5]
1110→1162[s_1|3, s_1|4, s_1|5]
1111→1112[s_1|2]
1111→1114[p_1|3]
1112→1113[p_1|2]
1113→1114[p_1|2]
1114→1115[s_1|2, s_1|3, s_1|4, s_1|5]
1114→999[s_1|3, s_1|4, s_1|5]
1114→1003[s_1|3, s_1|4, s_1|5]
1114→1123[s_1|3, s_1|4, s_1|5]
1114→1127[s_1|3, s_1|4, s_1|5]
1114→1131[s_1|3, s_1|4, s_1|5]
1114→1014[s_1|3, s_1|4, s_1|5]
1114→1018[s_1|3, s_1|4, s_1|5]
1114→1029[s_1|3, s_1|4, s_1|5]
1114→1033[s_1|3, s_1|4, s_1|5]
1114→1037[s_1|3, s_1|4, s_1|5]
1114→968[s_1|3, s_1|4, s_1|5]
1114→972[s_1|3, s_1|4, s_1|5]
1114→1045[s_1|3, s_1|4, s_1|5]
1114→1049[s_1|3, s_1|4, s_1|5]
1114→1053[s_1|3, s_1|4, s_1|5]
1114→983[s_1|3, s_1|4, s_1|5]
1114→987[s_1|3, s_1|4, s_1|5]
1114→991[s_1|3, s_1|4, s_1|5]
1114→903[s_1|3, s_1|4, s_1|2, s_1|5]
1114→1139[s_1|3, s_1|4, s_1|5]
1114→1143[s_1|3, s_1|4, s_1|5]
1114→1061[s_1|3, s_1|4, s_1|5]
1114→1065[s_1|3, s_1|4, s_1|5]
1114→1170[s_1|3, s_1|4, s_1|5]
1114→1174[s_1|3, s_1|4, s_1|5]
1114→1185[s_1|3, s_1|4, s_1|5]
1114→1189[s_1|3, s_1|4, s_1|5]
1114→1193[s_1|3, s_1|4, s_1|5]
1114→1076[s_1|3, s_1|4, s_1|5]
1114→1080[s_1|3, s_1|4, s_1|5]
1114→1091[s_1|3, s_1|4, s_1|5]
1114→1095[s_1|3, s_1|4, s_1|5]
1114→1099[s_1|3, s_1|4, s_1|5]
1114→1107[s_1|3, s_1|4, s_1|5]
1114→1111[s_1|3, s_1|4, s_1|5]
1114→1154[s_1|3, s_1|4, s_1|5]
1114→1158[s_1|3, s_1|4, s_1|5]
1114→1162[s_1|3, s_1|4, s_1|5]
1115→998[p_1|2]
1115→1122[p_1|2]
1116→1117[p_1|2]
1117→1118[s_1|2]
1117→1122[half_1|3]
1118→1119[s_1|2]
1118→1121[p_1|3]
1119→1120[p_1|2]
1120→1121[p_1|2]
1121→1122[half_1|2]
1122→1123[s_1|2, s_1|3, s_1|4, s_1|5]
1122→1127[s_1|3, s_1|4, s_1|5]
1122→1131[s_1|3, s_1|4, s_1|5]
1122→1014[s_1|3, s_1|4, s_1|5]
1122→1018[s_1|3, s_1|4, s_1|5]
1122→1029[s_1|3, s_1|4, s_1|5]
1122→1033[s_1|3, s_1|4, s_1|5]
1122→1037[s_1|3, s_1|4, s_1|5]
1122→968[s_1|3, s_1|4, s_1|5]
1122→972[s_1|3, s_1|4, s_1|5]
1122→1045[s_1|4, s_1|3, s_1|5]
1122→1049[s_1|4, s_1|3, s_1|5]
1122→1053[s_1|4, s_1|3, s_1|5]
1122→983[s_1|4, s_1|3, s_1|5]
1122→987[s_1|4, s_1|3, s_1|5]
1122→991[s_1|4, s_1|3, s_1|5]
1122→903[s_1|4, s_1|3, s_1|2, s_1|5]
1122→1139[s_1|3, s_1|4, s_1|5]
1122→1143[s_1|3, s_1|4, s_1|5]
1122→1061[s_1|3, s_1|4, s_1|5]
1122→1065[s_1|3, s_1|4, s_1|5]
1122→1170[s_1|3, s_1|4, s_1|5]
1122→1174[s_1|3, s_1|4, s_1|5]
1122→1185[s_1|3, s_1|4, s_1|5]
1122→1189[s_1|3, s_1|4, s_1|5]
1122→1193[s_1|3, s_1|4, s_1|5]
1122→1076[s_1|3, s_1|4, s_1|5]
1122→1080[s_1|3, s_1|4, s_1|5]
1122→1091[s_1|3, s_1|4, s_1|5]
1122→1095[s_1|3, s_1|4, s_1|5]
1122→1099[s_1|3, s_1|4, s_1|5]
1122→999[s_1|3, s_1|4, s_1|5]
1122→1003[s_1|3, s_1|4, s_1|5]
1122→1107[s_1|3, s_1|4, s_1|5]
1122→1111[s_1|3, s_1|4, s_1|5]
1122→1115[s_1|3, s_1|4, s_1|5]
1122→1154[s_1|3, s_1|4, s_1|5]
1122→1158[s_1|3, s_1|4, s_1|5]
1122→1162[s_1|3, s_1|4, s_1|5]
1123→1124[s_1|2]
1123→1126[p_1|3]
1124→1125[p_1|2]
1125→1126[p_1|2]
1126→1127[s_1|2, s_1|3, s_1|4, s_1|5]
1126→1131[s_1|3, s_1|4, s_1|5]
1126→1014[s_1|3, s_1|4, s_1|5]
1126→1018[s_1|3, s_1|4, s_1|5]
1126→1029[s_1|3, s_1|4, s_1|5]
1126→1033[s_1|3, s_1|4, s_1|5]
1126→1037[s_1|3, s_1|4, s_1|5]
1126→968[s_1|3, s_1|4, s_1|5]
1126→972[s_1|3, s_1|4, s_1|5]
1126→1045[s_1|3, s_1|4, s_1|5]
1126→1049[s_1|3, s_1|4, s_1|5]
1126→1053[s_1|3, s_1|4, s_1|5]
1126→983[s_1|3, s_1|4, s_1|5]
1126→987[s_1|3, s_1|4, s_1|5]
1126→991[s_1|3, s_1|4, s_1|5]
1126→903[s_1|3, s_1|4, s_1|2, s_1|5]
1126→1139[s_1|3, s_1|4, s_1|5]
1126→1143[s_1|3, s_1|4, s_1|5]
1126→1061[s_1|3, s_1|4, s_1|5]
1126→1065[s_1|3, s_1|4, s_1|5]
1126→1170[s_1|3, s_1|4, s_1|5]
1126→1174[s_1|3, s_1|4, s_1|5]
1126→1185[s_1|3, s_1|4, s_1|5]
1126→1189[s_1|3, s_1|4, s_1|5]
1126→1193[s_1|3, s_1|4, s_1|5]
1126→1076[s_1|3, s_1|4, s_1|5]
1126→1080[s_1|3, s_1|4, s_1|5]
1126→1091[s_1|3, s_1|4, s_1|5]
1126→1095[s_1|3, s_1|4, s_1|5]
1126→1099[s_1|3, s_1|4, s_1|5]
1126→999[s_1|3, s_1|4, s_1|5]
1126→1003[s_1|3, s_1|4, s_1|5]
1126→1123[s_1|3, s_1|4, s_1|5]
1126→1107[s_1|3, s_1|4, s_1|5]
1126→1111[s_1|3, s_1|4, s_1|5]
1126→1115[s_1|3, s_1|4, s_1|5]
1126→1154[s_1|3, s_1|4, s_1|5]
1126→1158[s_1|3, s_1|4, s_1|5]
1126→1162[s_1|3, s_1|4, s_1|5]
1127→1128[s_1|2]
1127→1130[p_1|3]
1128→1129[p_1|2]
1129→1130[p_1|2]
1130→1131[s_1|2, s_1|3, s_1|4, s_1|5]
1130→1014[s_1|3, s_1|4, s_1|5]
1130→1018[s_1|3, s_1|4, s_1|5]
1130→1029[s_1|3, s_1|4, s_1|5]
1130→1033[s_1|3, s_1|4, s_1|5]
1130→1037[s_1|3, s_1|4, s_1|5]
1130→968[s_1|3, s_1|4, s_1|5]
1130→972[s_1|3, s_1|4, s_1|5]
1130→1045[s_1|3, s_1|4, s_1|5]
1130→1049[s_1|3, s_1|4, s_1|5]
1130→1053[s_1|3, s_1|4, s_1|5]
1130→983[s_1|3, s_1|4, s_1|5]
1130→987[s_1|3, s_1|4, s_1|5]
1130→991[s_1|3, s_1|4, s_1|5]
1130→903[s_1|3, s_1|4, s_1|2, s_1|5]
1130→1139[s_1|3, s_1|4, s_1|5]
1130→1143[s_1|3, s_1|4, s_1|5]
1130→1061[s_1|3, s_1|4, s_1|5]
1130→1065[s_1|3, s_1|4, s_1|5]
1130→1170[s_1|3, s_1|4, s_1|5]
1130→1174[s_1|3, s_1|4, s_1|5]
1130→1185[s_1|3, s_1|4, s_1|5]
1130→1189[s_1|3, s_1|4, s_1|5]
1130→1193[s_1|3, s_1|4, s_1|5]
1130→1076[s_1|3, s_1|4, s_1|5]
1130→1080[s_1|3, s_1|4, s_1|5]
1130→1091[s_1|3, s_1|4, s_1|5]
1130→1095[s_1|3, s_1|4, s_1|5]
1130→1099[s_1|3, s_1|4, s_1|5]
1130→999[s_1|3, s_1|4, s_1|5]
1130→1003[s_1|3, s_1|4, s_1|5]
1130→1123[s_1|3, s_1|4, s_1|5]
1130→1127[s_1|3, s_1|4, s_1|5]
1130→1107[s_1|3, s_1|4, s_1|5]
1130→1111[s_1|3, s_1|4, s_1|5]
1130→1115[s_1|3, s_1|4, s_1|5]
1130→1154[s_1|3, s_1|4, s_1|5]
1130→1158[s_1|3, s_1|4, s_1|5]
1130→1162[s_1|3, s_1|4, s_1|5]
1131→1013[p_1|2]
1131→1028[p_1|2]
1132→1133[p_1|3]
1133→1134[s_1|3]
1133→1138[half_1|4]
1134→1135[s_1|3]
1134→1137[p_1|4]
1135→1136[p_1|3]
1136→1137[p_1|3]
1137→1138[half_1|3]
1138→1139[s_1|3]
1138→1143[s_1|4]
1139→1140[s_1|3]
1139→1142[p_1|4]
1140→1141[p_1|3]
1141→1142[p_1|3]
1142→1143[s_1|3]
1143→1144[s_1|3]
1143→1146[s_1|4]
1143→999[s_1|4, s_1|3, s_1|5]
1143→1003[s_1|4, s_1|3, s_1|5]
1143→1123[s_1|3, s_1|4, s_1|5]
1143→1127[s_1|4, s_1|3, s_1|5]
1143→1131[s_1|4, s_1|3, s_1|5]
1143→1014[s_1|4, s_1|3, s_1|5]
1143→1018[s_1|4, s_1|3, s_1|5]
1143→1029[s_1|4, s_1|3, s_1|5]
1143→1033[s_1|4, s_1|3, s_1|5]
1143→1037[s_1|4, s_1|3, s_1|5]
1143→968[s_1|4, s_1|3, s_1|5]
1143→972[s_1|4, s_1|3, s_1|5]
1143→1045[s_1|4, s_1|3, s_1|5]
1143→1049[s_1|4, s_1|3, s_1|5]
1143→1053[s_1|4, s_1|3, s_1|5]
1143→983[s_1|4, s_1|3, s_1|5]
1143→987[s_1|4, s_1|3, s_1|5]
1143→991[s_1|4, s_1|3, s_1|5]
1143→903[s_1|4, s_1|3, s_1|2, s_1|5]
1143→1139[s_1|4, s_1|3, s_1|5]
1143→1143[s_1|4, s_1|3, s_1|5]
1143→1061[s_1|3, s_1|4, s_1|5]
1143→1065[s_1|3, s_1|4, s_1|5]
1143→1170[s_1|3, s_1|4, s_1|5]
1143→1174[s_1|3, s_1|4, s_1|5]
1143→1185[s_1|3, s_1|4, s_1|5]
1143→1189[s_1|3, s_1|4, s_1|5]
1143→1193[s_1|3, s_1|4, s_1|5]
1143→1076[s_1|3, s_1|4, s_1|5]
1143→1080[s_1|3, s_1|4, s_1|5]
1143→1091[s_1|3, s_1|4, s_1|5]
1143→1095[s_1|3, s_1|4, s_1|5]
1143→1099[s_1|3, s_1|4, s_1|5]
1143→1107[s_1|3, s_1|4, s_1|5]
1143→1111[s_1|3, s_1|4, s_1|5]
1143→1115[s_1|3, s_1|4, s_1|5]
1143→1154[s_1|3, s_1|4, s_1|5]
1143→1158[s_1|3, s_1|4, s_1|5]
1143→1162[s_1|3, s_1|4, s_1|5]
1144→1145[p_1|3]
1145→1146[s_1|3]
1145→999[s_1|3, s_1|4, s_1|5]
1145→1003[s_1|4, s_1|3, s_1|5]
1145→1123[s_1|3, s_1|4, s_1|5]
1145→1127[s_1|4, s_1|3, s_1|5]
1145→1131[s_1|4, s_1|3, s_1|5]
1145→1014[s_1|4, s_1|3, s_1|5]
1145→1018[s_1|4, s_1|3, s_1|5]
1145→1029[s_1|4, s_1|3, s_1|5]
1145→1033[s_1|4, s_1|3, s_1|5]
1145→1037[s_1|4, s_1|3, s_1|5]
1145→968[s_1|4, s_1|3, s_1|5]
1145→972[s_1|4, s_1|3, s_1|5]
1145→1045[s_1|4, s_1|3, s_1|5]
1145→1049[s_1|4, s_1|3, s_1|5]
1145→1053[s_1|4, s_1|3, s_1|5]
1145→983[s_1|4, s_1|3, s_1|5]
1145→987[s_1|4, s_1|3, s_1|5]
1145→991[s_1|4, s_1|3, s_1|5]
1145→903[s_1|4, s_1|3, s_1|2, s_1|5]
1145→1139[s_1|4, s_1|3, s_1|5]
1145→1143[s_1|4, s_1|3, s_1|5]
1145→1061[s_1|3, s_1|4, s_1|5]
1145→1065[s_1|3, s_1|4, s_1|5]
1145→1170[s_1|3, s_1|4, s_1|5]
1145→1174[s_1|3, s_1|4, s_1|5]
1145→1185[s_1|3, s_1|4, s_1|5]
1145→1189[s_1|3, s_1|4, s_1|5]
1145→1193[s_1|3, s_1|4, s_1|5]
1145→1076[s_1|3, s_1|4, s_1|5]
1145→1080[s_1|3, s_1|4, s_1|5]
1145→1091[s_1|3, s_1|4, s_1|5]
1145→1095[s_1|3, s_1|4, s_1|5]
1145→1099[s_1|3, s_1|4, s_1|5]
1145→1107[s_1|3, s_1|4, s_1|5]
1145→1111[s_1|3, s_1|4, s_1|5]
1145→1115[s_1|3, s_1|4, s_1|5]
1145→1154[s_1|3, s_1|4, s_1|5]
1145→1158[s_1|3, s_1|4, s_1|5]
1145→1162[s_1|3, s_1|4, s_1|5]
1146→998[p_1|3]
1146→1122[p_1|3]
1147→1148[p_1|2]
1148→1149[s_1|2]
1148→1153[half_1|3]
1149→1150[s_1|2]
1149→1152[p_1|3]
1150→1151[p_1|2]
1151→1152[p_1|2]
1152→1153[half_1|2]
1153→1154[s_1|2, s_1|3, s_1|4, s_1|5]
1153→1158[s_1|3, s_1|4, s_1|5]
1153→1162[s_1|3, s_1|4, s_1|5]
1153→1076[s_1|3, s_1|4, s_1|5]
1153→1080[s_1|3, s_1|4, s_1|5]
1153→1091[s_1|3, s_1|4, s_1|5]
1153→1095[s_1|3, s_1|4, s_1|5]
1153→1099[s_1|3, s_1|4, s_1|5]
1153→999[s_1|3, s_1|4, s_1|5]
1153→1003[s_1|3, s_1|4, s_1|5]
1153→1123[s_1|4, s_1|3, s_1|5]
1153→1127[s_1|4, s_1|3, s_1|5]
1153→1131[s_1|4, s_1|3, s_1|5]
1153→1014[s_1|4, s_1|3, s_1|5]
1153→1018[s_1|4, s_1|3, s_1|5]
1153→1029[s_1|4, s_1|3, s_1|5]
1153→1033[s_1|4, s_1|3, s_1|5]
1153→1037[s_1|4, s_1|3, s_1|5]
1153→968[s_1|4, s_1|3, s_1|5]
1153→972[s_1|4, s_1|3, s_1|5]
1153→1045[s_1|4, s_1|3, s_1|5]
1153→1049[s_1|4, s_1|3, s_1|5]
1153→1053[s_1|4, s_1|3, s_1|5]
1153→983[s_1|4, s_1|3, s_1|5]
1153→987[s_1|4, s_1|3, s_1|5]
1153→991[s_1|4, s_1|3, s_1|5]
1153→903[s_1|4, s_1|3, s_1|5, s_1|2]
1153→1107[s_1|4, s_1|3, s_1|5]
1153→1111[s_1|4, s_1|3, s_1|5]
1153→1115[s_1|4, s_1|3, s_1|5]
1153→1139[s_1|4, s_1|3, s_1|5]
1153→1143[s_1|4, s_1|3, s_1|5]
1153→1061[s_1|3, s_1|4, s_1|5]
1153→1065[s_1|3, s_1|4, s_1|5]
1153→1170[s_1|3, s_1|4, s_1|5]
1153→1174[s_1|3, s_1|4, s_1|5]
1153→1185[s_1|3, s_1|4, s_1|5]
1153→1189[s_1|3, s_1|4, s_1|5]
1153→1193[s_1|3, s_1|4, s_1|5]
1154→1155[s_1|2]
1154→1157[p_1|3]
1155→1156[p_1|2]
1156→1157[p_1|2]
1157→1158[s_1|2, s_1|3, s_1|4, s_1|5]
1157→1162[s_1|3, s_1|4, s_1|5]
1157→1076[s_1|3, s_1|4, s_1|5]
1157→1080[s_1|3, s_1|4, s_1|5]
1157→1091[s_1|3, s_1|4, s_1|5]
1157→1095[s_1|3, s_1|4, s_1|5]
1157→1099[s_1|3, s_1|4, s_1|5]
1157→999[s_1|3, s_1|4, s_1|5]
1157→1003[s_1|3, s_1|4, s_1|5]
1157→1123[s_1|3, s_1|4, s_1|5]
1157→1127[s_1|3, s_1|4, s_1|5]
1157→1131[s_1|3, s_1|4, s_1|5]
1157→1014[s_1|3, s_1|4, s_1|5]
1157→1018[s_1|3, s_1|4, s_1|5]
1157→1029[s_1|3, s_1|4, s_1|5]
1157→1033[s_1|3, s_1|4, s_1|5]
1157→1037[s_1|3, s_1|4, s_1|5]
1157→968[s_1|3, s_1|4, s_1|5]
1157→972[s_1|3, s_1|4, s_1|5]
1157→1045[s_1|3, s_1|4, s_1|5]
1157→1049[s_1|3, s_1|4, s_1|5]
1157→1053[s_1|3, s_1|4, s_1|5]
1157→983[s_1|3, s_1|4, s_1|5]
1157→987[s_1|3, s_1|4, s_1|5]
1157→991[s_1|3, s_1|4, s_1|5]
1157→903[s_1|3, s_1|4, s_1|5, s_1|2]
1157→1107[s_1|3, s_1|4, s_1|5]
1157→1111[s_1|3, s_1|4, s_1|5]
1157→1115[s_1|3, s_1|4, s_1|5]
1157→1139[s_1|3, s_1|4, s_1|5]
1157→1143[s_1|3, s_1|4, s_1|5]
1157→1061[s_1|3, s_1|4, s_1|5]
1157→1065[s_1|3, s_1|4, s_1|5]
1157→1170[s_1|3, s_1|4, s_1|5]
1157→1174[s_1|3, s_1|4, s_1|5]
1157→1185[s_1|3, s_1|4, s_1|5]
1157→1189[s_1|3, s_1|4, s_1|5]
1157→1193[s_1|3, s_1|4, s_1|5]
1157→1154[s_1|3, s_1|4, s_1|5]
1158→1159[s_1|2]
1158→1161[p_1|3]
1159→1160[p_1|2]
1160→1161[p_1|2]
1161→1162[s_1|2, s_1|3, s_1|4, s_1|5]
1161→1076[s_1|3, s_1|4, s_1|5]
1161→1080[s_1|3, s_1|4, s_1|5]
1161→1091[s_1|3, s_1|4, s_1|5]
1161→1095[s_1|3, s_1|4, s_1|5]
1161→1099[s_1|3, s_1|4, s_1|5]
1161→999[s_1|3, s_1|4, s_1|5]
1161→1003[s_1|3, s_1|4, s_1|5]
1161→1123[s_1|3, s_1|4, s_1|5]
1161→1127[s_1|3, s_1|4, s_1|5]
1161→1131[s_1|3, s_1|4, s_1|5]
1161→1014[s_1|3, s_1|4, s_1|5]
1161→1018[s_1|3, s_1|4, s_1|5]
1161→1029[s_1|3, s_1|4, s_1|5]
1161→1033[s_1|3, s_1|4, s_1|5]
1161→1037[s_1|3, s_1|4, s_1|5]
1161→968[s_1|3, s_1|4, s_1|5]
1161→972[s_1|3, s_1|4, s_1|5]
1161→1045[s_1|3, s_1|4, s_1|5]
1161→1049[s_1|3, s_1|4, s_1|5]
1161→1053[s_1|3, s_1|4, s_1|5]
1161→983[s_1|3, s_1|4, s_1|5]
1161→987[s_1|3, s_1|4, s_1|5]
1161→991[s_1|3, s_1|4, s_1|5]
1161→903[s_1|3, s_1|4, s_1|5, s_1|2]
1161→1107[s_1|3, s_1|4, s_1|5]
1161→1111[s_1|3, s_1|4, s_1|5]
1161→1115[s_1|3, s_1|4, s_1|5]
1161→1139[s_1|4, s_1|3, s_1|5]
1161→1143[s_1|4, s_1|3, s_1|5]
1161→1061[s_1|3, s_1|4, s_1|5]
1161→1065[s_1|3, s_1|4, s_1|5]
1161→1170[s_1|3, s_1|4, s_1|5]
1161→1174[s_1|3, s_1|4, s_1|5]
1161→1185[s_1|3, s_1|4, s_1|5]
1161→1189[s_1|3, s_1|4, s_1|5]
1161→1193[s_1|3, s_1|4, s_1|5]
1161→1154[s_1|3, s_1|4, s_1|5]
1161→1158[s_1|3, s_1|4, s_1|5]
1162→1075[p_1|2]
1162→1090[p_1|2]
1162→1106[p_1|2]
1163→1164[p_1|2]
1164→1165[s_1|2]
1164→1169[half_1|3]
1165→1166[s_1|2]
1165→1168[p_1|3]
1166→1167[p_1|2]
1167→1168[p_1|2]
1168→1169[half_1|2]
1169→1170[s_1|2]
1169→1174[s_1|3]
1170→1171[s_1|2]
1170→1173[p_1|3]
1171→1172[p_1|2]
1172→1173[p_1|2]
1173→1174[s_1|2]
1174→1175[s_1|2]
1174→1177[s_1|3]
1174→1076[s_1|3, s_1|4, s_1|5]
1174→1080[s_1|3, s_1|4, s_1|5]
1174→1091[s_1|3, s_1|4, s_1|5]
1174→1095[s_1|3, s_1|4, s_1|5]
1174→1099[s_1|3, s_1|4, s_1|5]
1174→999[s_1|3, s_1|4, s_1|5]
1174→1003[s_1|3, s_1|4, s_1|5]
1174→1123[s_1|3, s_1|4, s_1|5]
1174→1127[s_1|3, s_1|4, s_1|5]
1174→1131[s_1|3, s_1|4, s_1|5]
1174→1014[s_1|3, s_1|4, s_1|5]
1174→1018[s_1|3, s_1|4, s_1|5]
1174→1029[s_1|3, s_1|4, s_1|5]
1174→1033[s_1|3, s_1|4, s_1|5]
1174→1037[s_1|3, s_1|4, s_1|5]
1174→968[s_1|3, s_1|4, s_1|5]
1174→972[s_1|3, s_1|4, s_1|5]
1174→1045[s_1|3, s_1|4, s_1|5]
1174→1049[s_1|3, s_1|4, s_1|5]
1174→1053[s_1|3, s_1|4, s_1|5]
1174→983[s_1|3, s_1|4, s_1|5]
1174→987[s_1|3, s_1|4, s_1|5]
1174→991[s_1|3, s_1|4, s_1|5]
1174→903[s_1|3, s_1|4, s_1|2, s_1|5]
1174→1107[s_1|3, s_1|4, s_1|5]
1174→1111[s_1|3, s_1|4, s_1|5]
1174→1115[s_1|3, s_1|4, s_1|5]
1174→1139[s_1|3, s_1|4, s_1|5]
1174→1143[s_1|3, s_1|4, s_1|5]
1174→1061[s_1|3, s_1|4, s_1|5]
1174→1065[s_1|3, s_1|4, s_1|5]
1174→1170[s_1|3, s_1|4, s_1|5]
1174→1174[s_1|3, s_1|4, s_1|5]
1174→1185[s_1|3, s_1|4, s_1|5]
1174→1189[s_1|3, s_1|4, s_1|5]
1174→1193[s_1|3, s_1|4, s_1|5]
1174→1154[s_1|3, s_1|4, s_1|5]
1174→1158[s_1|3, s_1|4, s_1|5]
1174→1162[s_1|3, s_1|4, s_1|5]
1175→1176[p_1|2]
1176→1177[s_1|2]
1176→1076[s_1|3, s_1|4, s_1|5]
1176→1080[s_1|3, s_1|4, s_1|5]
1176→1091[s_1|3, s_1|4, s_1|5]
1176→1095[s_1|3, s_1|4, s_1|5]
1176→1099[s_1|3, s_1|4, s_1|5]
1176→999[s_1|3, s_1|4, s_1|5]
1176→1003[s_1|3, s_1|4, s_1|5]
1176→1123[s_1|3, s_1|4, s_1|5]
1176→1127[s_1|3, s_1|4, s_1|5]
1176→1131[s_1|3, s_1|4, s_1|5]
1176→1014[s_1|3, s_1|4, s_1|5]
1176→1018[s_1|3, s_1|4, s_1|5]
1176→1029[s_1|3, s_1|4, s_1|5]
1176→1033[s_1|3, s_1|4, s_1|5]
1176→1037[s_1|3, s_1|4, s_1|5]
1176→968[s_1|3, s_1|4, s_1|5]
1176→972[s_1|3, s_1|4, s_1|5]
1176→1045[s_1|3, s_1|4, s_1|5]
1176→1049[s_1|3, s_1|4, s_1|5]
1176→1053[s_1|3, s_1|4, s_1|5]
1176→983[s_1|3, s_1|4, s_1|5]
1176→987[s_1|3, s_1|4, s_1|5]
1176→991[s_1|3, s_1|4, s_1|5]
1176→903[s_1|3, s_1|4, s_1|5, s_1|2]
1176→1107[s_1|3, s_1|4, s_1|5]
1176→1111[s_1|3, s_1|4, s_1|5]
1176→1115[s_1|3, s_1|4, s_1|5]
1176→1139[s_1|4, s_1|3, s_1|5]
1176→1143[s_1|4, s_1|3, s_1|5]
1176→1061[s_1|3, s_1|4, s_1|5]
1176→1065[s_1|3, s_1|4, s_1|5]
1176→1170[s_1|3, s_1|4, s_1|5]
1176→1174[s_1|3, s_1|4, s_1|5]
1176→1185[s_1|3, s_1|4, s_1|5]
1176→1189[s_1|3, s_1|4, s_1|5]
1176→1193[s_1|3, s_1|4, s_1|5]
1176→1154[s_1|3, s_1|4, s_1|5]
1176→1158[s_1|3, s_1|4, s_1|5]
1176→1162[s_1|3, s_1|4, s_1|5]
1177→1075[p_1|2]
1177→1090[p_1|2]
1177→1106[p_1|2]
1178→1179[p_1|3]
1179→1180[s_1|3]
1179→1184[half_1|4]
1180→1181[s_1|3]
1180→1183[p_1|4]
1181→1182[p_1|3]
1182→1183[p_1|3]
1183→1184[half_1|3]
1184→1185[s_1|3, s_1|4, s_1|5]
1184→1189[s_1|4, s_1|3, s_1|5]
1184→1193[s_1|4, s_1|3, s_1|5]
1184→1076[s_1|4, s_1|3, s_1|5]
1184→1080[s_1|4, s_1|5, s_1|3]
1184→1091[s_1|4, s_1|5, s_1|3]
1184→1095[s_1|4, s_1|5, s_1|3]
1184→1099[s_1|4, s_1|5, s_1|3]
1184→999[s_1|4, s_1|5, s_1|3]
1184→1003[s_1|4, s_1|5, s_1|3]
1184→1123[s_1|5, s_1|4, s_1|3]
1184→1127[s_1|5, s_1|4, s_1|3]
1184→1131[s_1|5, s_1|4, s_1|3]
1184→1014[s_1|5, s_1|4, s_1|3]
1184→1018[s_1|5, s_1|4, s_1|3]
1184→1029[s_1|5, s_1|4, s_1|3]
1184→1033[s_1|5, s_1|4, s_1|3]
1184→1037[s_1|5, s_1|4, s_1|3]
1184→968[s_1|5, s_1|4, s_1|3]
1184→972[s_1|5, s_1|4, s_1|3]
1184→1045[s_1|5, s_1|4, s_1|3]
1184→1049[s_1|5, s_1|4, s_1|3]
1184→1053[s_1|5, s_1|4, s_1|3]
1184→983[s_1|5, s_1|4, s_1|3]
1184→987[s_1|5, s_1|4, s_1|3]
1184→991[s_1|5, s_1|4, s_1|3]
1184→903[s_1|5, s_1|4, s_1|3, s_1|2]
1184→1107[s_1|4, s_1|3, s_1|5]
1184→1111[s_1|5, s_1|4, s_1|3]
1184→1115[s_1|5, s_1|4, s_1|3]
1184→1139[s_1|5, s_1|4, s_1|3]
1184→1143[s_1|5, s_1|4, s_1|3]
1184→1061[s_1|4, s_1|5, s_1|3]
1184→1065[s_1|4, s_1|5, s_1|3]
1184→1170[s_1|3, s_1|4, s_1|5]
1184→1174[s_1|3, s_1|4, s_1|5]
1184→1154[s_1|3, s_1|4, s_1|5]
1184→1158[s_1|3, s_1|4, s_1|5]
1184→1162[s_1|3, s_1|4, s_1|5]
1185→1186[s_1|3]
1185→1188[p_1|4]
1186→1187[p_1|3]
1187→1188[p_1|3]
1188→1189[s_1|3, s_1|4, s_1|5]
1188→1193[s_1|4, s_1|3, s_1|5]
1188→1076[s_1|4, s_1|3, s_1|5]
1188→1080[s_1|4, s_1|3, s_1|5]
1188→1091[s_1|4, s_1|3, s_1|5]
1188→1095[s_1|4, s_1|3, s_1|5]
1188→1099[s_1|4, s_1|5, s_1|3]
1188→999[s_1|4, s_1|5, s_1|3]
1188→1003[s_1|4, s_1|5, s_1|3]
1188→1123[s_1|4, s_1|5, s_1|3]
1188→1127[s_1|4, s_1|5, s_1|3]
1188→1131[s_1|4, s_1|5, s_1|3]
1188→1014[s_1|4, s_1|5, s_1|3]
1188→1018[s_1|4, s_1|5, s_1|3]
1188→1029[s_1|4, s_1|5, s_1|3]
1188→1033[s_1|4, s_1|5, s_1|3]
1188→1037[s_1|4, s_1|5, s_1|3]
1188→968[s_1|4, s_1|5, s_1|3]
1188→972[s_1|4, s_1|5, s_1|3]
1188→1045[s_1|4, s_1|5, s_1|3]
1188→1049[s_1|4, s_1|5, s_1|3]
1188→1053[s_1|4, s_1|5, s_1|3]
1188→983[s_1|4, s_1|5, s_1|3]
1188→987[s_1|4, s_1|5, s_1|3]
1188→991[s_1|4, s_1|5, s_1|3]
1188→903[s_1|4, s_1|3, s_1|5, s_1|2]
1188→1107[s_1|4, s_1|3, s_1|5]
1188→1111[s_1|4, s_1|3, s_1|5]
1188→1115[s_1|4, s_1|3, s_1|5]
1188→1139[s_1|4, s_1|5, s_1|3]
1188→1143[s_1|4, s_1|5, s_1|3]
1188→1061[s_1|4, s_1|5, s_1|3]
1188→1065[s_1|4, s_1|5, s_1|3]
1188→1170[s_1|3, s_1|4, s_1|5]
1188→1174[s_1|3, s_1|4, s_1|5]
1188→1185[s_1|3, s_1|4, s_1|5]
1188→1154[s_1|3, s_1|4, s_1|5]
1188→1158[s_1|3, s_1|4, s_1|5]
1188→1162[s_1|3, s_1|4, s_1|5]
1189→1190[s_1|3]
1189→1192[p_1|4]
1190→1191[p_1|3]
1191→1192[p_1|3]
1192→1193[s_1|3, s_1|4, s_1|5]
1192→1076[s_1|3, s_1|4, s_1|5]
1192→1080[s_1|4, s_1|3, s_1|5]
1192→1091[s_1|4, s_1|3, s_1|5]
1192→1095[s_1|4, s_1|3, s_1|5]
1192→1099[s_1|4, s_1|5, s_1|3]
1192→999[s_1|4, s_1|5, s_1|3]
1192→1003[s_1|4, s_1|5, s_1|3]
1192→1123[s_1|4, s_1|3, s_1|5]
1192→1127[s_1|4, s_1|5, s_1|3]
1192→1131[s_1|4, s_1|5, s_1|3]
1192→1014[s_1|4, s_1|5, s_1|3]
1192→1018[s_1|4, s_1|5, s_1|3]
1192→1029[s_1|4, s_1|5, s_1|3]
1192→1033[s_1|4, s_1|5, s_1|3]
1192→1037[s_1|4, s_1|5, s_1|3]
1192→968[s_1|4, s_1|5, s_1|3]
1192→972[s_1|4, s_1|5, s_1|3]
1192→1045[s_1|4, s_1|5, s_1|3]
1192→1049[s_1|4, s_1|5, s_1|3]
1192→1053[s_1|4, s_1|5, s_1|3]
1192→983[s_1|4, s_1|5, s_1|3]
1192→987[s_1|4, s_1|5, s_1|3]
1192→991[s_1|4, s_1|5, s_1|3]
1192→903[s_1|4, s_1|5, s_1|3, s_1|2]
1192→1107[s_1|3, s_1|4, s_1|5]
1192→1111[s_1|4, s_1|3, s_1|5]
1192→1115[s_1|4, s_1|3, s_1|5]
1192→1139[s_1|4, s_1|5, s_1|3]
1192→1143[s_1|4, s_1|5, s_1|3]
1192→1061[s_1|4, s_1|3, s_1|5]
1192→1065[s_1|4, s_1|3, s_1|5]
1192→1170[s_1|3, s_1|4, s_1|5]
1192→1174[s_1|3, s_1|4, s_1|5]
1192→1185[s_1|3, s_1|4, s_1|5]
1192→1189[s_1|3, s_1|4, s_1|5]
1192→1154[s_1|3, s_1|4, s_1|5]
1192→1158[s_1|3, s_1|4, s_1|5]
1192→1162[s_1|3, s_1|4, s_1|5]
1193→1075[p_1|3]
1193→1090[p_1|3]
1193→1106[p_1|3]